Fast and Precise Regular Approximations of Logic Programs.

John P. Gallagher, D. Andre de Waal

Browse the full ICLP paper archive.