Ulrich Bartels, Walter G. Olthoff, Peter Raulefs. An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. In Jörg H. Siekmann, editor, GWAI-81, German Workshop on Artificial Intelligence, Bad Honnef, January 26-31, 1981, Proceedings. Volume 47 of Informatik-Fachberichte, pages 112-123, Springer, 1981.
Abstract is missing.