| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings Computing Science in The Netherlands (CSN '95), Jaarbeurs, Utrecht 1995 |
| Editors | S.H. Cheng, R. de Wolf |
| Place of Publication | Amsterdam |
| Pages | 143-154 |
| Number of pages | 12 |
| Publication status | Published - 1995 |
The subsumption theorem revisted: restrict to SLD-resolution
JC van Vliet
Research output: Chapter/Conference proceeding › Chapter › Academic