Hans-Ulrich Krieger. Typed Feature Structures, Definite Equivalences, Greatest Model Semantics, and Nonmonotonicity. In 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS '98). Workshop on Mathematical Linguistics, August 24-28, Pages 85-95, Brno, Czech Republic, 1998. google
|