Splitting a logic program (1994)

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