Splitting a logic program. (1994)

by V Lifschitz, H Turner
Venue:Proc. Eleventh lnt’l Conf. on Logic Programming,