Termination of Logic Programs With Delay Declarations
The Journal of Logic Programming
doi 10.1016/s0743-1066(98)10034-1
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 1999
Authors
Publisher
Elsevier BV
Available in full text
April 1, 1999
Elsevier BV