@inproceedings{BeckertKellerSchmitt02,
author = {Bernhard Beckert and Uwe Keller and Peter H. Schmitt},
title = {Translating the {O}bject {C}onstraint {L}anguage into First-order
Predicate Logic},
booktitle = {{VERIFY} Workshop ({VERIFY} 2002) at {FLoC} 2002: Federated Logic
Conferences},
venue = {Copenhagen, Denmark},
year = {2002},
note = {Available at
\url{i12www.ira.uka.de/~key/doc/2002/BeckertKellerSchmitt02.ps.gz}}
}