![](/img/cover-not-exists.png)
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert SmolkaVolume:
2
Year:
1993
Language:
english
Pages:
18
DOI:
10.1007/bf01051766
File:
PDF, 1013 KB
english, 1993