A General Implementation of Relational Recursion with Speedup Techniques for Programmers. - A. Clouatre; Normand Laliberte; T. H. Merrett (Inf. Process. Lett., 1989)