@Proceedings{KSS:PAAR-08,
    editor       = {Boris Konev and
                    Renate Schmidt and Stephan Schulz},
    year         = 2008,
    title        = {{Proceedings of the IJCAR'08 Workshop on Practical
                     Aspects of Automated Reasoning}},
    place        = {Sydney, Australia},
    series       = {CEUR Workshop Proceedings},
    volume       = {373},
    OPTISSN      = {},
    OPTannote    = {StSed}
}