Decomposition of Linear Recursive Logic Programs

Dietmar Seipel. Decomposition of Linear Recursive Logic Programs. In Rolf H. Möhring, editor, Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, WG 90, Berlin, Germany, June 20-22, 1990, Proceedings. Volume 484 of Lecture Notes in Computer Science, pages 291-310, Springer, 1990.

Abstract

Abstract is missing.