![]() |
@article{DBLP:journals/jar/SpencerH00,
author = {Bruce Spencer and
Joseph Douglas Horton},
title = {Efficient Algorithms to Detect and Restore Minimality, an
Extension of the Regular Restriction of Resolution},
journal = {J. Autom. Reasoning},
volume = {25},
number = {1},
year = {2000},
pages = {1-34},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-02-04 by Michael Ley (ley@uni-trier.de)