Helen Lowe Michal Pechoucek Alan Bundy Proof planning for maintainable configuration systems. 345-356 1998 12 AI EDAM 4 http://journals.cambridge.org/bin/bladerunner?REQUNIQ=1103561713&REQSESS=1214412&118000REQEVENT=&REQINT1=38649&REQAUTH=0 db/journals/aiedam/aiedam12.html#LowePB98