Gradual abstract proof search

Tristan Cazenave
ICGA J. 25(1):3–15, 2002
http://www.ai.univ-paris8.fr/~cazenave/gaps.pdf

Cites:

Phutball endgames are hard

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine