%0 Journal Article %1 journals/aiedam/LowePB98 %A Lowe, Helen %A Pechoucek, Michal %A Bundy, Alan %D 1998 %J Artif. Intell. Eng. Des. Anal. Manuf. %K dblp %N 4 %P 345-356 %T Proof planning for maintainable configuration systems. %U http://dblp.uni-trier.de/db/journals/aiedam/aiedam12.html#LowePB98 %V 12

@article{journals/aiedam/LowePB98, added-at = {2020-09-24T00:00:00.000+0200}, author = {Lowe, Helen and Pechoucek, Michal and Bundy, Alan}, biburl = {https://www.bibsonomy.org/bibtex/27f5f2c71adaf5b4498db9f6e33cc2de1/dblp}, ee = {http://journals.cambridge.org/action/displayAbstract?aid=38649}, interhash = {cbb4d325ccd5fa4e7d41adce927ac04d}, intrahash = {7f5f2c71adaf5b4498db9f6e33cc2de1}, journal = {Artif. Intell. Eng. Des. Anal. Manuf.}, keywords = {dblp}, number = 4, pages = {345-356}, timestamp = {2020-09-25T12:02:35.000+0200}, title = {Proof planning for maintainable configuration systems.}, url = {http://dblp.uni-trier.de/db/journals/aiedam/aiedam12.html#LowePB98}, volume = 12, year = 1998 }