M. H. Van Emden
M. H. Van Emden and R. A. Kowalski.
The semantics of predicate logic as a programming language.
Journal of the ACM
, 23(4):733-742, October 1976.
Citations.
Krzysztof R. Apt and M. H. Van Emden.
Contributions to the theory of logic programming.
Journal of the ACM
, 29(3):841-862, July 1982.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database