@techreport{HillenbrandWeidenbach2007,
TITLE = {Superposition for Finite Domains},
AUTHOR = {Hillenbrand, Thomas and Weidenbach, Christoph},
LANGUAGE = {eng},
NUMBER = {MPI-I-2007-RG1-002},
LOCALID = {Local-ID: C12573CC004A8E26-1CF84BA6556F8748C12572C1002F229B-HillenbrandWeidenbach2007Report},
INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
ADDRESS = {Saarbr{\"u}cken, Germany},
YEAR = {2007},
DATE = {2007},
TYPE = {Max-Planck-Institut für Informatik / Research Report},
}