@MISC{KonevSchmidtSchulz06,
AUTHOR = {Konev, B. and Schmidt, R. and Schulz, S.},
YEAR = {2006},
TITLE = {Special issue on Implementation of Logics},
NOTE = { \emph{Journal of Applied Non-Classical Logic} \textbf{16} (1--2)},
ISBN = {ISBN 2-7462-1479-2},
URL = {\url{http://www.cs.man.ac.uk/~schmidt/publications/KonevSchmidtSchulz06.h
tml}},
}