@Proceedings{KSS:PAAR-10,
    editor       = {Boris Konev and
                    Renate Schmidt and Stephan Schulz},
    year         = 2010,
    title        = {{Proceedings of the FLoC'10 Workshop on Practical
                     Aspects of Automated Reasoning}},
    place        = {Edinburgh, United Kingdom},
    OPTseries       = {CEUR Workshop Proceedings},
    OPTvolume       = {373},
    OPTISSN      = {},
    OPTannote    = {StSed}
}