Implementational Issues in GCLA: A-Sufficiency and Definiens Operation

Martin Aronsson. Implementational Issues in GCLA: A-Sufficiency and Definiens Operation. In Evelina Lamma, Paola Mello, editors, Extensions of Logic Programming, Third International Workshop, ELP 92, Bologna, Italy, February 26-28, 1992, Proceedings. Volume 660 of Lecture Notes in Computer Science, pages 394-417, Springer, 1992.

Abstract

Abstract is missing.