%0 Journal Article %1 preece94foundation %A Preece, A. D. %A Shinghal, R. %D 1994 %J International Journal of Intelligent Systems %K base knowledge system systems verification %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 = {2009-09-30T17:03:09.000+0200}, author = {Preece, A. D. and Shinghal, R.}, biburl = {https://www.bibsonomy.org/bibtex/2268616ac9d3b7f59032d04f8471af9f9/miuhhh}, interhash = {b7db7a17f5bfa3ae1f3a7ab68109322d}, intrahash = {268616ac9d3b7f59032d04f8471af9f9}, journal = {International Journal of Intelligent Systems}, keywords = {base knowledge system systems verification}, number = 8, pages = {683--701}, timestamp = {2009-09-30T17:03:09.000+0200}, title = {Foundation and Application of Knowledge Base Verification}, url = {citeseer.ist.psu.edu/preece94foundation.html}, volume = 9, year = 1994 }