Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space.

Jacobo Torn, Florian Wrz

Browse the full STACS paper archive.