Improved Recursion Handling Through Integrity Constraints. - K. Wicovsky; Peter Thanisch; M. Howard Williams (Comput. J., 1991)