Waal. Fast and precise regular approximations of logic programs (1994)

by J P Gallagher, A de
Venue:Proceedings of the 11th International Conference on Logic Programming