Eyal Amir Object-Oriented First-Order Logic. 63-84 1999 3 Electron. Trans. Artif. Intell. C http://www.ep.liu.se/ej/etai/1999/008/ db/journals/etai/etai3.html#Amir99