A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).

Michael Kifer, James Wu

Browse the full PODS paper archive.