Game Characterizations and the PSPACE-Completeness of Tree Resolution Space.

Alexander Hertel, Alasdair Urquhart

Browse the full CSL paper archive.