Bounded quantification and record-update problems. Message to Types electronic mail list (1988)

by Edmund Robinson, Robert Tennent