Wu S., Integrating Logic and Object-Oriented Programming, OOPS MESSENGER, 2(1):28--37, July 1991

Languages mentioned

• LogiC {1996}