Proving Termination of Input-Consuming Logic Programs (1999)

Cached

Download Links

by Jan-Georg Smaus
Citations:14 - 5 self