Constrained Regular Approximation of Logic Programs.

Hseyin Saglam, John P. Gallagher

Browse the full LOPSTR paper archive.