| [3] | M. Baldoni and D. Cavagnino. xn+1 = f (xn). Technical Report 22/96, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1996. [ bib | .ps.gz | .pdf ] |
| [2] | M. Baldoni, L. Giordano, and A. Martelli. A Framework for Modal Logic Programming. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, JICSLP'96, pages 52--66, Bonn, 1996. The MIT Press. [ bib | http | .ps.gz | .pdf ] |
| [1] | M. Baldoni, L. Giordano, and A. Martelli. Translating a Modal Language with Embedded Implications into Horn Clause Logic. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of the 5th International Workshop on Extensions of Logic Programming, ELP'96, volume 1050 of LNAI, pages 19--33. Springer-Verlag, 1996. [ bib | DOI | http | .ps.gz | .pdf ] |
This file was generated by bibtex2html 1.99.