Splitting a logic program (1994)

by V LIFSCHITZ, H TURNER
Venue:In Proc. of the Eleventh Int’l Conf. on Logic Programming