Krzysztof R. Apt Marc Bezem Acyclic Programs. 617-633 1990 ICLP db/conf/iclp/iclp90.html#AptB90