@INPROCEEDINGS{MinicaKhodadadiTishkovskySchmidt12a,
AUTHOR = {Minica, S. and Khodadadi, M. and Tishkovsky, D. and Schmidt, R. A.},
YEAR = {2012},
TITLE = {Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics},
EDITOR = {Fontaine, P. and Schmidt, R. A. and Schulz, S.},
BOOKTITLE = {PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning},
SERIES = {EPiC Series},
VOLUME = {21},
PUBLISHER = {EasyChair},
PAGES = {109--123},
URL = {http://www.easychair.org/publications/?page=937313973},
}