Loop checking in logic programming (1991)

by R N BOL