@InProceedings{Luecke2001,
  author=        {J. L\"ucke},
  title=         {Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory},
  booktitle = 	 {IJCAR 2001},
  pages = 	 {690 -- 695},
  series = 	 {LNCS/LNAI 2083},
  publisher =    {Springer},
  year = 	 {2001},
  annote =    {}
}