A Logical Formalization of the Binary Object-Role Model

Olga De Troyer. A Logical Formalization of the Binary Object-Role Model. In Terry A. Halpin, Robert Meersman, editors, Proceedings of the First International Conference on Object-Role Modelling, ORM-1, Magnetic Island, Australia, 4-6 July 1994. pages 28-44, 1994.

Abstract

Abstract is missing.