David B. Searls Lewis M. Norton Logic-Based Configuration with a Semantic Network. 53-73 1990 8 J. Log. Program. 1 db/journals/jlp/jlp8.html#SearlsN90