%0 Journal Article %1 paper:greiner:1989 %A Greiner, R. %A Smith, B. A. %A Wilkerson, R. W. %C Essex, UK %D 1989 %I Elsevier Science Publishers Ltd. %J Artificial Intelligence %K reiter-algorithm %P 79--88 %T A correction to the algorithm in Reiter's theory of diagnosis %V 41

@article{paper:greiner:1989, added-at = {2011-07-08T13:45:15.000+0200}, address = {Essex, UK}, author = {Greiner, R. and Smith, B. A. and Wilkerson, R. W.}, biburl = {https://www.bibsonomy.org/bibtex/24b22c9c89740d20e07ea74288d58680a/mschuber}, description = {A correction to the algorithm in Reiter's theory of diagnosis}, interhash = {e26e90b69a33fd1c2f606a1248708e92}, intrahash = {4b22c9c89740d20e07ea74288d58680a}, journal = {Artificial Intelligence}, keywords = {reiter-algorithm}, month = {November}, pages = {79--88}, publisher = {Elsevier Science Publishers Ltd.}, timestamp = {2011-07-08T13:45:15.000+0200}, title = {A correction to the algorithm in Reiter's theory of diagnosis}, volume = 41, year = 1989 }