Stefan Minica, Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky. Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. In Pascal Fontaine, Renate A. Schmidt, Stephan Schulz, editors, Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012. Volume 21 of EPiC Series, pages 109-123, EasyChair, 2012. [doi]
@inproceedings{MinicaKST12,
title = {Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics},
author = {Stefan Minica and Mohammad Khodadadi and Renate A. Schmidt and Dmitry Tishkovsky},
year = {2012},
url = {http://www.easychair.org/publications/?page=937313973},
researchr = {https://researchr.org/publication/MinicaKST12},
cites = {0},
citedby = {0},
pages = {109-123},
booktitle = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012},
editor = {Pascal Fontaine and Renate A. Schmidt and Stephan Schulz},
volume = {21},
series = {EPiC Series},
publisher = {EasyChair},
}