. Adjiman, Distributed reasoning in a peer-to-peer setting Distributed reasoning in a peer-to-peer setting, short paper, ECAI, 2000.

V. Antoniou and . Harmelen, Antoniou and F. van Harmelen. A Semantic Web Primer, 2004.

S. Borgida, L. Borgida, and . Serafini, Distributed Description Logics: Assimilating Information from Peer Sources, Journal of Data Semantics, vol.1, 2003.
DOI : 10.1007/978-3-540-39733-5_7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

L. L. Chang, R. C. Chang, and . Lee, Symbolic Logic and Mechanical Theorem Proving, Computer Science Classics, 1973.

R. Dechter, I. Dechter, and . Rish, Directed resolution: the davis-putnam procedure revisited, KR, 1994.

]. A. Del-val, A new method for consequence finding and compilation in restricted languages, AAAI, 1999.

. Ghidini, ]. C. Serafini, L. Ghidini, and . Serafinihalevy, Distributed First Order Logics, and I. Tatarinov. Schema mediation in peer data management systems, ICDE, 1998.

. Halevy, Piazza, Proceedings of the twelfth international conference on World Wide Web , WWW '03, 2003.
DOI : 10.1145/775152.775231

]. K. Inoue, P. L. Marquis-]-c, R. R. Mason, and . Johnson, Linear resolution for consequence finding Handbook on Defeasible Reasoning and Uncertainty Management Systems, Algorithms for Defeasible and Uncertain Reasoning Distributed Artificial Intelligence II, chapter DATMS: a framework for distributed assumption based reasoning, chapter Consequence Finding Algorithms, pp.41-145, 1989.

. Monasson, Relation of typical-case complexity to the nature of the phase transition . Random Structure and Algorithms Edutella: a p2p networking infrastructure based on rdf Models of the small world, WWW, pp.2-819, 1999.

]. G. Provan-]-p and . Siegel, A model-based diagnosis framework for distributed embedded systems Représentation et utilisation de la connaissance en calcul propositionnel, In KR, 1987.

. Stoica, Chord: a scalable peerto-peer lookup service for internet applications, Conference on applications, technologies, architecture and protocols for computer communications, 2001.
DOI : 10.1109/tnet.2002.808407

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

H. Tatarinov, A. Tatarinov, and . Halevy, Efficient query reformulation in peer data management systems, Proceedings of the 2004 ACM SIGMOD international conference on Management of data , SIGMOD '04, 2004.
DOI : 10.1145/1007568.1007629

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

]. D. Watts and S. H. Strogatz, Models of the small world, Nature, vol.393, issue.6684, pp.440-442, 1998.
DOI : 10.1038/30918