Splitting a logic program (1994)

by V Lifschitz, H Turner
Venue:Proceedings of the Eleventh International Conf. on Logic Programming