Zoran Majkic Intensional First-Order Logic for P2P Database Systems. 131-152 2009 12 J. Data Semantics http://dx.doi.org/10.1007/978-3-642-00685-2_5 journals/jods/2009-12 db/journals/jods/jods12.html#Majkic09