Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz. XPRTS - An Implementation Tool for Program Synthesis. In Dieter Metzing, editor, GWAI-89, 13th German Workshop on Artificial Intelligence, Eringerfeld, 18.-22. September 1989, Proceedings. Volume 216 of Informatik-Fachberichte, pages 348-357, Springer, 1989.
Abstract is missing.