Acyclic programs (1990)

by K R Apt, M Bezem
Venue:In ICLP