%0 Thesis %1 horbach2010saturationbased %A Horbach, Matthias %D 2010 %K %T Saturation-based decision procedures for fixed domain and minimal model validity

@phdthesis{horbach2010saturationbased, added-at = {2023-12-13T07:01:41.000+0100}, author = {Horbach, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/20d97b7db46582164a51a8a758eb9f1ce/admin}, dnbtitleid = {1006185348}, interhash = {b474eed1f245602fd1b36637badc0cc0}, intrahash = {0d97b7db46582164a51a8a758eb9f1ce}, keywords = {}, school = {Uni Saarbrücken}, timestamp = {2023-12-13T07:01:41.000+0100}, title = {Saturation-based decision procedures for fixed domain and minimal model validity}, year = 2010 }