Typed Feature Structures, Definite Equivalences, Greatest Model Semantics, and Nonmonotonicity

@inproceedings{pub957,
    author = {

Krieger, Hans-Ulrich
},
    title = {Typed Feature Structures, Definite Equivalences, Greatest Model Semantics, and Nonmonotonicity},
    booktitle = {23rd International Symposium on Mathematical Foundations of Computer Science (MFCS '98). Workshop on Mathematical Linguistics, August 24-28. International Symposium on Mathematical Foundations of Computer Science (MFCS)},
    year = {1998},
    pages = {85--95},
    address = {Brno, Czech Republic}
}