Gradual abstract proof search

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

Cites:

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine
Made on a Mac Valid XHTML 1.0!