@TechReport{HW07,
  author       = {Th. Hillenbrand and Chr. Weidenbach},
  title        = {Superposition for Finite Domains},
  institution  = {Max-Planck-Institut f\"{u}r Informatik},
  year         = 2007,
  type         = {Research Report},
  number       = {MPI-I-2007-RG1-002},
}