| |
| 1987 | ||
|---|---|---|
| 2 | Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Knowledge-Base Verification. AI Magazine 8(2): 69-75 (1987) | |
| 1985 | ||
| 1 | Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Checking an Expert Systems Knowledge Base for Consistency and Completeness. IJCAI 1985: 375-378 | |
| 1 | Thomas J. Laffey | [1] [2] |
| 2 | Tin A. Nguyen | [1] [2] |
| 3 | Walton A. Perkins | [1] [2] |