@MISC{SchmidtSutcliffeSchulz09,
AUTHOR = {Schmidt, R. A. and Sutcliffe, G. and Schulz, S.},
YEAR = {2009},
TITLE = {Special issue on Empirically Successful Computerized Reasoning},
NOTE = {\emph{Journal of Applied Logic} \textbf{7} (1)},
ISSN = {ISSN 1570-8683},
DOI = {doi:10.1016/j.jal.2007.07.00}
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/SchmidtSutcliffeSchulz09.html}},
}