Christian G. Fermüller. Deciding classes of clause sets by resolution. PhD thesis, TU Wien, 1991.
@phdthesis{books-daglib-0016520, title = {Deciding classes of clause sets by resolution}, author = {Christian G. Fermüller}, year = {1991}, researchr = {https://researchr.org/publication/books-daglib-0016520}, cites = {0}, citedby = {0}, school = {TU Wien}, }