Efficient tests for top-down termination of logical rules (1988)

by J D ULLMAN, A VAN GELDER
Venue:Journal of the ACM