On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

@article{pub1842,
    author = {

Baader, Franz
 and 

Bürckert, Hans-Jürgen
 and 

Nebel, Bernhard
 and 

Nutt, Werner
 and 

Smolka, Gert
},
    title = {On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations},
    year = {1993},
    month = {3},
    volume = {2},
    number = {1},
    pages = {1--18},
    journal = {Journal of Logic, Language and Information},
    publisher = {Springer}
}