"Fast and Precise Regular Approximations of Logic Programs."

John P. Gallagher, D. Andre de Waal (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics