@InProceedings{CHM02,
    Author       = "Claessen, K. and H{\"a}hnle, R. and M{\aa}rtensson, J.",
    Year         = "2002",
    Title        = "{Verification of Hardware Systems with First-Order Logic}",
    Editor       = "Sutcliffe, G. and Pelletier, J. and Suttner, C.",
    BookTitle    = "{Proceedings of the CADE-18 Workshop - Problem and Problem
                    Sets for ATP}",
    Place        = "Copenhagen, Denmark",
    Series       = "Department of Computer Science, University of Copenhagen,
                    Technical Report",
    Number       = "02/10",
    Pages        = "",
    Comment      = "TPTPRef"
}