Alun D. Preece R. D. Bell Ching Y. Suen Verifying Knowledge-Based Systems Using the COVER Tool. 231-237 1992 conf/ifip/1992-3 IFIP Congress (3) db/conf/ifip/ifip92-3.html#PreeceBS92