Practical Methods for Proving Termination of General Logic Programs
Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.198
Full Text
Open PDFAbstract
Available in full text
Categories
Date
April 1, 1996
Authors
Publisher
AI Access Foundation