Combining many-sorted logic and object-oriented programming

Schaffert, 1986, An introduction to Trellis/Owl, 9 Moon, 1986, Object-oriented programming with flavors, 1 Moon, 1989, The common lisp object-oriented programming language standard, 49 Bobrow, 1986, Common loops: merging lisp and object-oriented programming, 17 Zaniolo, 1984, Object-oriented programming in Prolog, 265 Gallaire, 1986, Merging objects and logic programming: relational semantics, 754 Fukunaga, 1986, An experience with a Prolog-based object-oriented language, 224 Kahn, 1986, Objects in concurrent logic programming language, 242 Leonardi, 1988, Combining logic- and object-oriented programming language paradigms, 376 Brachman, 1985, An overview of the KL-ONE knowledge representation system, Cognitive Science, Vol 9, 171, 10.1207/s15516709cog0902_1 Cohn, 1987, A more expressive formulation of many sorted logic, J. Automated Reasoning, Vol 3, 113, 10.1007/BF00243207 Irani, 1985, A many-sorted resolution based on an extension of a first-order language, 1175 Walther, 1983, A many-sorted calculus based on resolution and paramodulation, 881 Walther, 1988, Many-sorted unification, J. ACM, Vol 35, 1, 10.1145/42267.45071 Cohn, 1985, On the solution of Schubert's steamroller in many-sorted logic, 1169 Walther, 1987 Ait-Kaci, 1986, Login: a logic programming language with built-in inheritance, J Logic Prog., Vol 3, 185, 10.1016/0743-1066(86)90013-0 Enders, R The object-oriented extension of Prolog-XT Technical Report, INF2-ASE-7-89, Siemens AG. Huber, 1987, Extended Prolog for order-sorted resolution, 34 Shapiro, 1983, A subset of concurrent Prolog and its interpreter, ICOT Technical Report ICOT n.3