Loop Checking (1991)

by R N Bol
Venue:in Logic Programming. Thesis