A Logical Formalization of the Binary Object Role Model.
Publication Reference
DE TROYER O., A Logical Formalization of the Binary Object Role Model. In: Proceedings 1st International conference on Object Role Modelling ORM-1, eds. T. Halpin, R. Meersman, Quensland University Press, 1994 (pp. 28-44)