Roberto Di Cosmo, Jean-Vincent Loddo, and Stéphane Nicolet. A game semantics foundation for logic programming. In Catuscia Palamidessi, Hugh Glaser, and Karl Meinke, editors, PLILP'98, volume 1490 of Lecture Notes in Computer Science, pages 355--373, 1998.
[ bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.