Weidong Chen David Scott Warren Objects as Intensions. 404-419 1988 ICLP/SLP db/conf/iclp/iclp88.html#ChenW88