![]() |
@article{DBLP:journals/fuin/ZhaoL02,
author = {Xishun Zhao and
Paolo Liberatore},
title = {Complexity of the Unique Extension Problem in Default Logic},
journal = {Fundam. Inform.},
volume = {53},
number = {1},
year = {2002},
pages = {79-104},
ee = {http://iospress.metapress.com/openurl.asp?genre=article{\&}issn=0169-2968{\&}volume=53{\&}issue=1{\&}spage=79},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-02-20 by Michael Ley (ley@uni-trier.de)