TY - JOUR
T1 - Tableaux resolution and complexity of formulas
AU - de Swart, Harrie C.M.
AU - Ophelders, Willy M.J.
PY - 1994/2
Y1 - 1994/2
UR - https://www.semanticscholar.org/paper/Tableaux%2C-resolution%2C-and-complexity-of-formulas-Swart-Ophelders/105526a3862a63b6df0803303e4bf0403d10c421
UR - https://www.academia.edu/76777098/Tableaux_Resolution_and_Complexity_of_Formulas
UR - https://research.tilburguniversity.edu/en/publications/tableaux-resolution-and-complexity-of-formulas
UR - https://research.tilburguniversity.edu/en/publications/tableaux-resolution-and-complexity-of-formulas-2
U2 - 10.5555/200760.200765
DO - 10.5555/200760.200765
M3 - Article
SN - 1075-0924
VL - 1
SP - 241
EP - 260
JO - Methods of Logic in Computer Science
JF - Methods of Logic in Computer Science
IS - 2
ER -