A complete logical calculus for record structures representing linguistic information (1986)

by William Rounds, Robert Kasper
Venue:In IEEE Symposium on Logic and Computer Science