Proc. of the 14th Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux). Volume 3702 of Lecture Notes in Computer Science. 2005.
@inproceedings{TABLEAUX-2005,
title = "Query Processing in Peer-to-Peer Systems: An Epistemic Logic
Approach",
year = "2005",
author = "Diego Calvanese",
booktitle = "Proc. of the 14th Int. Conf. on Automated Reasoning with
Analytic Tableaux and Related Methods (Tableaux)",
volume = "3702",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
doi = "10.1007/11554554_1",
}
url