| Original language | English |
|---|---|
| Title of host publication | Computing Science in the Netherlands |
| Subtitle of host publication | proceedings |
| Editors | J.L.G. Dietz |
| Publisher | Stichting Mathematisch Centrum |
| Pages | 215-233 |
| Publication status | Published - 1992 |
Comparing Tableaux with Resolution
W.M.J. Ophelders, Harrie de Swart
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional