Ullrich Hustadt, Renate A. Schmidt. On Evaluating Decision Procedures for Modal Logic. In IJCAI (1). pages 202-209, 1997.
@inproceedings{HustadtS97,
title = {On Evaluating Decision Procedures for Modal Logic},
author = {Ullrich Hustadt and Renate A. Schmidt},
year = {1997},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/HustadtS97},
cites = {0},
citedby = {0},
pages = {202-209},
booktitle = {IJCAI (1)},
}