Proving Termination of Logic Programs with Delay Declarations (1995)

Cached

Download Links

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