This volume describes recent research in graph reduction and related areas of functional and logi...