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]

Authors

Hüseyin Saglam

This author has not been identified. Look up 'Hüseyin Saglam' in Google

John P. Gallagher

This author has not been identified. It may be one of the following persons: Look up 'John P. Gallagher' in Google