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