Ronald J. Brachman Hector J. Levesque Tales from the Far Side of KRYPTON. 3-43 1986 Expert Database Conf. db/conf/eds/eds86.html#BrachmanL86