B. Bertolino, P. A. Bonatti, D. Montesi, and S. Pelagatti. Correctness and Completeness of logic programs under the CLP schema. In P. Asirelli, editor, Proc Sixth Italian ConferenceonLogic Programming, pp. 391--405, Pisa, 1991. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Transactions and Updates in Deductive Databases - Montesi, Bertino, Martelli (1995) Self-citation (Montesi) (Correct)
No context found.
B. Bertolino, P. A. Bonatti, D. Montesi, and S. Pelagatti. Correctness and Completeness of logic programs under the CLP schema. In P. Asirelli, editor, Proc Sixth Italian ConferenceonLogic Programming, pp. 391--405, Pisa, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC