Patrick Wischnewski. Efficient reasoning procedures for complex first-order theories. PhD thesis, Saarland University, 2012. [doi]
@phdthesis{dnb-536, title = {Efficient reasoning procedures for complex first-order theories}, author = {Patrick Wischnewski}, year = {2012}, url = {http://d-nb.info/105255041X}, researchr = {https://researchr.org/publication/dnb-536}, cites = {0}, citedby = {0}, school = {Saarland University}, }