@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 = {Proceedings, VERIFY, Workshop at Federated Logic
   	       Conferences (FLoC), Copenhagen, Denmark},
  year = {2002},
  note = {To appear. Available at
		  \url{i12www.ira.uka.de/~key/doc/2002/BeckertKellerSchmitt02.ps.gz}}
}