Roberto Di Cosmo and Jean-Vincent Loddo. Playing logic programs with the alpha-beta algorithm. In Michel Parigot and Adrei Voronkov, editors, LPAR'00, volume 1955 of Lecture Notes in Computer Science, pages 207--224, 2000.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.