R. Cameron-Jones, and J. Quinlan. Proceedings of the 13th International Joint Conference on Artificial Intelligence, page 1050--1057. Morgan Kaufmann, (1993)
E. Kitzelmann, U. Schmid, M. Mühlpfordt, and F. Wysotzki. Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)
E. Kitzelmann. ECAI 2008, 18th European Conference on Artificial Intelligence, Proceedings, volume 178 of Frontiers in Artificial Intelligence and Applications, page 781--782. Amsterdam, Netherlands, IOS Press, (2008)
E. Kitzelmann. 18th International Symposium on Logic-Based Program Synthesis and Transformation, Revised Selected Papers, volume 5438 of LNCS, page 87--102. Springer-Verlag, (2009)
M. Hofmann, E. Kitzelmann, and U. Schmid. German Conference on Artificial Intelligence (KI'08), volume 5243 of LNAI, page 78--86. Springer-Verlag, (2008)
P. Koopman, and R. Plasmeijer. Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, 7, page 35--54. Intellect, (2007)
P. Flener, and L. Popelinsky. Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformationn -- Meta-Programming in Logic, page 69--87. Springer-Verlag, (1994)
J. Jeuring, A. Rodriguez, and G. Smeding. WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, page 23--32. New York, NY, USA, ACM, (2006)