Tin A. Nguyen Walton A. Perkins Thomas J. Laffey Deanne Pecora Knowledge-Base Verification. 69-75 1987 8 AI Magazine 2 db/journals/aim/aim8.html#NguyenPLP87