Kim B. Bruce Giuseppe Longo A Modest Model of Records, Inheritance and Bounded Quantification 38-50 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#BruceL88