Exact Exploration and Hanging Algorithms.

Andreas Blass, Nachum Dershowitz, Yuri Gurevich

Browse the full CSL paper archive.