Loop Checking in Logic Programming (1991)

by R BOL