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