Improvement of Recursive Programs from a Logic Programming Point of View

Bertram Fronhöfer, Ricardo Caferra, Philippe Jacquet. Improvement of Recursive Programs from a Logic Programming Point of View. In Joachim Laubsch, editor, GWAI-84, 8th German Workshop on Artificial Intelligence, Wingst/Stade, Germany, October 8-12, 1984, Proceedings. Volume 103 of Informatik-Fachberichte, pages 229-237, Springer, 1984.

Abstract

Abstract is missing.