Splitting a logic program (1994)

by V Lifschitz, H Turner
Venue:Proceedings of the 11th Internationall Conference on Logic Programming (ICLP