A complete Logical Calculus for Record Structures Repres :nting Linguistic Information (1986)

by W C Rounds, R Kasper
Venue:In I. ~EE Symposium on Logic and Computer Science