Extending the proof plan methodology to computer configuration problems

Helen Lowe. Extending the proof plan methodology to computer configuration problems. Applied Artificial Intelligence, 5(3):227-252, 1991.

Abstract

Abstract is missing.