Constrained Regular Approximation of Logic Programs

Hüseyin Saglam, John P. Gallagher. Constrained Regular Approximation of Logic Programs. In Norbert E. Fuchs, editor, Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR 97, Leuven, Belgium, July 10-12, 1997, Proceedings. Volume 1463 of Lecture Notes in Computer Science, pages 282-299, Springer, 1997. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.