@techreport{Beckert91b,
   author        = {Bernhard Beckert},
   institution   = {Science Center, Institute for Knowledge Based Systems,
                    {IBM} Germany},
   title         = {{K}onzeption und {I}mplementierung von {G}leichheit
		    f\"{u}r einen tableau-basierten {T}heorembeweiser},
   volume        = {{IKBS} Report},
   number        = {208},
   year          = {1991}
}