Proving Termination of Logic Programs with Delay Declarations (1995)

View PDF

Download Links

by Elena Marchiori , Frank Teusink
Venue:Proc. Twelfth International Logic Programming Symposium
Citations:13 - 2 self