%0 Journal Article %1 preece92 %A Preece, A.D. %A Shinghal, R. %A Batarek, A. %D 1992 %J Knowledge Engineering Review %K validation verification logicProgramming debugging ruleBasedSystems %T Principles and practice in verifying rule-based systems

@article{preece92, added-at = {2007-01-12T15:02:59.000+0100}, author = {Preece, A.D. and Shinghal, R. and Batarek, A.}, biburl = {https://www.bibsonomy.org/bibtex/2abb12e6c2aef8f0527c6b2cfc82f0f4b/vzach}, interhash = {4630a2f39ca50832af1ef37551071d5a}, intrahash = {abb12e6c2aef8f0527c6b2cfc82f0f4b}, journal = {Knowledge Engineering Review}, keywords = {validation verification logicProgramming debugging ruleBasedSystems}, timestamp = {2007-01-12T15:02:59.000+0100}, title = { Principles and practice in verifying rule-based systems}, year = 1992 }