@inproceedings{new_fast_tableau,
  author    = {Domenico Cantone and
               Calogero G. Zarba},
  editor    = {Ricardo Caferra and
               Gernot Salzer},
  title     = {A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment
               of Set Theory},
  booktitle = {Automated Deduction in Classical and Non-Classical Logics, Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1761},
  pages     = {126--136},
  publisher = {Springer},
  year      = {1998},
  doi       = {10.1007/3-540-46508-1\_8},
}

