@Proceedings{RSKSS:IWIL-08,
    editor       = {Piotr Rudnicki and Geoff Sutcliffe and Boris Konev and
                    Renate Schmidt and Stephan Schulz},
    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}},
    place        = {Doha, Qattar},
    series       = {CEUR Workshop Proceedings},
    volume       = {418},
    ISSN         = {ISSN 1613-0073},
    OPTannote    = {StSed}
}