@misc{Beckert93b,
author = {Bernhard Beckert},
title = {{E}in vervollst\"{a}ndigungsbasiertes {V}erfahren zur
{B}ehandlung von {G}leichheit im {T}ableaukalk\"{u}l mit
freien {V}ariablen},
howpublished = {Diplomarbeit, {F}akult\"{a}t f\"{u}r Informatik,
{U}niversit\"{a}t {K}arlsruhe},
school = {{F}akult\"{a}t f\"{u}r Informatik,
{U}niversit\"{a}t {K}arlsruhe},
type = {Diplomarbeit},
month = jul,
year = 1993
}