Proceedings of the Eighth Symposium on Principles of Database Systems (PODS), Philadelphia, PA, 1989

• Kifer, M. and Wu, J. (1989) Kifer, M. and Wu, J. "A logic for object­oriented logic programming (Maier's O­logic revisited)"