A high-order logic for object-oriented logic programming - Wee, Boon Tun (1998)