FLORA: The Secret of Object-Oriented Logic Programming (1999)

by B Lundäscher, G Yang, M Kifer