| |
| 1993 | ||
|---|---|---|
| 2 | W. M. J. Ophelders, Harrie C. M. de Swart: Tableaux Versus Resolution a Comparison. Fundam. Inform. 18: 109-127 (1993) | |
| 1988 | ||
| 1 | Harrie C. M. de Swart, W. M. J. Ophelders: Another tableau based automated theorem prover for classical logic. Bulletin of the EATCS 35: 185-197 (1988) | |
| 1 | Harrie C. M. de Swart | [1] [2] |