Undecidable Goals for Completed Acyclic Programs. - Marc Bezem; Jan Keuzenkamp (New Gener. Comput., 1994)