Translating the Object Constraint Language into First-order Predicate Logic

@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{https://formal.kastel.kit.edu/~key/doc/2002/BeckertKellerSchmitt02.ps.gz}}
}