The Role of Standardising Apart in Logic Programming

J. Shepherdson
DOI: https://doi.org/10.1016/0304-3975(94)90084-1
IF: 1.002
1994-06-20
Theoretical Computer Science
Abstract:
What problem does this paper attempt to address?