William C. Rounds Robert T. Kasper A Complete Logical Calculus for Record Structures Representing Linguistic Information 38-43 conf/lics/LICS1 1986 LICS db/conf/lics/lics86.html#RoundsK86