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

(1989)

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

Languages mentioned