Splitting a logic program (1994)

by Vladimir Lifschitz, Hudson Turner
Venue:In Proceedings of the 11th International Conference on Logic Programming (ICLP’94