@TECHREPORT{Baader-LTCS-97-03,
 author         = {F. Baader},
 title          = {On the Complexity of Boolean Unification},
 institution    = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
 year           = 1997,
 type           = {LTCS-Report},
 number         = {LTCS-97-03},
 ccl            = {yes}
}