A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
- 1 March 1993
- journal article
- Published by Elsevier in Information and Computation
- Vol. 103 (1) , 86-113
- https://doi.org/10.1006/inco.1993.1015
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: