Caz-ICGA-02

@article{Caz-ICGA-02,
title = {Gradual abstract proof search},
author = {Tristan Cazenave},
journal = {ICGA J.},
publisher = {Int. Computer Games Assoc.},
volume = {25},
number = {1},
pages = {3--15},
year = {2002},
url = {http://www.ai.univ-paris8.fr/~cazenave/gaps.pdf}}

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