@inproceedings{kaneiwa-ta05,
 author="K. Kaneiwa and R. Mizoguchi",
 title="An Order-Sorted Quantified Modal Logic for Meta-Ontology",
 booktitle="Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2005)",
    pages = "169--184",
  publisher =    "LNCS 3702, Springer--Verlag",
 year="2005"}