Distributed First Order Logics (1998)

by C Ghidini, L Serafini
Venue:Frontiers Of Combining Systems 2, Studies in Logic and Computation