@PROCEEDINGS{RudnickiSutcliffeEtAl08,
EDITOR = {Rudnicki, P. and Sutcliffe, G. and Konev, B. and Schmidt, R. A. and Schulz, S.},
YEAR = {2008},
TITLE = {Proceedings of the LPAR Workshops: Knowledge Exchange: Automated Provers and Proof Assistants, and The 7th International Workshop on the Implementation of Logics (KEAPPA \& IWIL 2008)},
SERIES = {CEUR Workshop Proceedings},
VOLUME = {418},
ISBN = {ISSN 1613-0073},
URL = {\url{http://ceur-ws.org/Vol-418}},
}