Constrained regular approximation of logic programs (1998)

by H Saglam, J Gallagher
Venue:Logic Program Synthesis and Transformation (LOPSTR'97). Springer-Verlag, Lecture Notes in Computer Science