Reversible pebble games and the relation between tree-like and general resolution space
scientific article; zbMATH DE number 7360377