@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}
}