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

@techreport{pub2529,
    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},
    series = {DFKI Research Reports (RR)},
    year = {1991},
    volume = {91-01},
    pages = {20},
    institution = {DFKI}
}