Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ashbacher, C. From logic to logic programming. Journal of Automated Reasoning 16, 427 (1996). https://doi.org/10.1007/BF00252183
Issue Date:
DOI: https://doi.org/10.1007/BF00252183