Krzysztof R. Apt, Maarten H. van Emden. Contributions to the Theory of Logic Programming. Journal of the ACM, 29(3):841-862, 1982. [doi]
@article{AptE82, title = {Contributions to the Theory of Logic Programming}, author = {Krzysztof R. Apt and Maarten H. van Emden}, year = {1982}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/AptE82}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {29}, number = {3}, pages = {841-862}, }