Deciding inseparability and conservative extensions in the description logic
Carsten Lutz, Frank WolterVolume:
45
Year:
2010
Language:
english
Pages:
35
DOI:
10.1016/j.jsc.2008.10.007
File:
PDF, 2.71 MB
english, 2010