%0 Journal Article %1 preece94foundation %A Preece, A. D. %A Shinghal, R. %D 1994 %J International Journal of Intelligent Systems %K validation verification logicProgramming debugging ruleBasedSystems %N 8 %P 683--701 %T Foundation and Application of Knowledge Base Verification %U citeseer.ist.psu.edu/preece94foundation.html %V 9

@article{preece94foundation, added-at = {2007-01-12T15:02:59.000+0100}, author = {Preece, A. D. and Shinghal, R.}, biburl = {https://www.bibsonomy.org/bibtex/2268616ac9d3b7f59032d04f8471af9f9/vzach}, interhash = {b7db7a17f5bfa3ae1f3a7ab68109322d}, intrahash = {268616ac9d3b7f59032d04f8471af9f9}, journal = {International Journal of Intelligent Systems}, keywords = {validation verification logicProgramming debugging ruleBasedSystems}, number = 8, pages = {683--701}, timestamp = {2007-01-12T15:02:59.000+0100}, title = {Foundation and Application of Knowledge Base Verification}, url = {citeseer.ist.psu.edu/preece94foundation.html}, volume = 9, year = 1994 }