@ARTICLE{Schmidt10a,
AUTHOR = {Schmidt, R. A.},
YEAR = {2010},
TITLE = {Simulation and Synthesis of Deduction Calculi},
JOURNAL = {Electronic Notes in Theoretical Computer Science},
VOLUME = {262}, 
PAGES = {221--229},
DOI = {http://dx.doi.org/10.1016/j.entcs.2010.04.016},
ABSTRACT = {
This paper gives an overview of two methods for automatically or
semi-automatically generating deduction calculi from the semantic
specification of a logic.
One approach is based on simulating deduction approaches with
techniques of automated reasoning and first-order resolution.
The second approach synthesises sound, complete and terminating
tableau calculi directly from the semantic specification of a logic.
}
}