Ullrich Hustadt. Resolution based decision procedures for subclasses of first-order logic. PhD thesis, Saarland University, Saarbrücken, Germany, 1999. [doi]
@phdthesis{dnb-13572,
title = {Resolution based decision procedures for subclasses of first-order logic},
author = {Ullrich Hustadt},
year = {1999},
url = {http://d-nb.info/972333320},
researchr = {https://researchr.org/publication/dnb-13572},
cites = {0},
citedby = {0},
school = {Saarland University, Saarbrücken, Germany},
}