Tableaux versus Resolution

a comparison

W.M.J. Ophelders, Harrie de Swart

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)109-127
JournalFundamenta Informaticae
Volume18
Publication statusPublished - 1993

Cite this

Ophelders, W.M.J. ; de Swart, Harrie. / Tableaux versus Resolution : a comparison. In: Fundamenta Informaticae. 1993 ; Vol. 18. pp. 109-127.
@article{31d2adbd76c94790896351ce737773ed,
title = "Tableaux versus Resolution: a comparison",
author = "W.M.J. Ophelders and {de Swart}, Harrie",
year = "1993",
language = "English",
volume = "18",
pages = "109--127",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS Press",

}

Tableaux versus Resolution : a comparison. / Ophelders, W.M.J.; de Swart, Harrie.

In: Fundamenta Informaticae, Vol. 18, 1993, p. 109-127.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Tableaux versus Resolution

T2 - a comparison

AU - Ophelders, W.M.J.

AU - de Swart, Harrie

PY - 1993

Y1 - 1993

M3 - Article

VL - 18

SP - 109

EP - 127

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

SN - 0169-2968

ER -