Alun D. Preece, R. D. Bell, Ching Y. Suen. Verifying Knowledge-Based Systems Using the COVER Tool. In Friedrich H. Vogt, editor, Personal Computers and Intelligent Systems - Information Processing 92, Volume 3, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992. Volume A-14 of IFIP Transactions, pages 231-237, North-Holland, 1992.
Abstract is missing.