Michael Kifer, James Wu A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). [Citation Graph (39, 29)][DBLP] PODS, 1989, pp:379-393 [Conf] Is cited by:
Michael Kifer, Georg Lausen F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. [Citation Graph (52, 26)][DBLP] SIGMOD Conference, 1989, pp:134-146 [Conf] Is cited by: