The subsumption theorem revisted: restrict to SLD-resolution

JC van Vliet

Research output: Chapter/Conference proceedingChapterAcademic

Original languageUndefined/Unknown
Title of host publicationProceedings Computing Science in The Netherlands (CSN '95), Jaarbeurs, Utrecht 1995
EditorsS.H. Cheng, R. de Wolf
Place of PublicationAmsterdam
Pages143-154
Number of pages12
Publication statusPublished - 1995

Research programs

  • EUR ESE 14

Cite this