| | |
@article{DBLP:journals/cacm/BrugM75,
author = {Gordon J. van der Brug and
Jack Minker},
title = {State-Space, Problem-Reduction, and Theorem Proving-Some
Relationships},
journal = {Commun. ACM},
volume = {18},
number = {2},
year = {1975},
pages = {107-115},
ee = {http://doi.acm.org/10.1145/360666.360672},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-09-20 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page