A Modest Model of Records, Inheritance and Bounded Quantification Kim B. Bruce Giuseppe Longo 196-239 Inf. Comput. July/August 1990 87 1/2 db/journals/iandc/iandc87.html#BruceL90