P. Flener, K. Lau, and M. Ornaghi. Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, volume 1463 of LNCS, page 128--147. Springer-Verlag, (1998)
R. Cameron-Jones, and J. Quinlan. Proceedings of the 13th International Joint Conference on Artificial Intelligence, page 1050--1057. Morgan Kaufmann, (1993)