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)

Rudnicki, P., Sutcliffe, G., Konev, B., Schmidt, R. and Schulz, S. (eds) (2008)