P. Flener, K. Lau, und M. Ornaghi. Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, Volume 1463 von LNCS, Seite 128--147. Springer-Verlag, (1998)
R. Cameron-Jones, und J. Quinlan. Proceedings of the 13th International Joint Conference on Artificial Intelligence, Seite 1050--1057. Morgan Kaufmann, (1993)
E. Kitzelmann, U. Schmid, M. Mühlpfordt, und F. Wysotzki. Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Volume 2385 von LNCS, Seite 337--354. Springer-Verlag, (2002)
E. Kitzelmann. ECAI 2008, 18th European Conference on Artificial Intelligence, Proceedings, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 781--782. Amsterdam, Netherlands, IOS Press, (2008)
E. Kitzelmann. 18th International Symposium on Logic-Based Program Synthesis and Transformation, Revised Selected Papers, Volume 5438 von LNCS, Seite 87--102. Springer-Verlag, (2009)
M. Hofmann, E. Kitzelmann, und U. Schmid. German Conference on Artificial Intelligence (KI'08), Volume 5243 von LNAI, Seite 78--86. Springer-Verlag, (2008)
C. Ferri-Ramírez, J. Hernández-Orallo, und M. Ramírez-Quintana. Proceedings of the 5th International Symposium on Functional and Logic Programming (FLOPS'01), Volume 2024 von LNCS, Seite 233--247. Springer-Verlag, (2001)
F. Esposito, D. Malerba, und F. Lisi. Proceedings of the 10th International Conference on Inductive Logic Programming (ILP'2000), Volume 1866 von LNCS, Seite 93--111. Springer-Verlag, (2000)
M. Furusawa, N. Inuzuka, H. Seki, und H. Itoh. Proceedings of the 7th International Workshop on Inductive Logic Programming (ILP'97), Volume 1297 von LNCS, Seite 165--172. Springer-Verlag, (1997)
R. Rios, und S. Matwin. Proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence, Volume 1081 von LNCS, Seite 240--248. Springer-Verlag, (1996)
M. Rao. Proceedings of the 15th International Conference on Algorithmic Learning Theory (ALT'04), Volume 3244 von LNCS, Seite 69--82. Springer-Verlag, (2004)