@MISC{TishkovskySchmidt13a,
AUTHOR = {Tishkovsky, D. and Schmidt, R. A.},
YEAR = {2013},
TITLE = {Refinement in the Tableau Synthesis Framework},
URL = {http://arxiv.org/abs/1305.3131},
NOTE = {arXiv e-Print 1305.3131v1 [cs.LO]},
ABSTRACT = {
This paper is concerned with the possibilities of refining and
improving calculi generated in the tableau synthesis framework (Schmidt and Tishkovsk 2011). 
A general method in the tableau synthesis framework allows
to reduce the branching factor of tableau rules and preserves completeness
if a general rule refinement condition holds.
In this paper we consider two approaches to satisfy this general rule
refinement condition.
}
}