Fast and precise regular approximations of logic programs (1994)

by J P Gallagher, D A de Waal
Venue:Proc. of the 11th International Conference on Logic Programming