Distributed first order logic. (1998)

by C Ghidini, L Serafini
Venue:In Proceedings of Frontiers of Combining Systems.