Olga De Troyer A Logical Formalization of the Binary Object-Role Model. 28-44 1994 conf/orm/1994 ORM db/conf/orm/orm1994.html#Troyer84