Decision procedures for some fragments of set theory

This publication has 4 references indexed in Scilit:

• A simplifier based on efficient decision algorithms
  Published by Association for Computing Machinery (ACM) ,1978
• A Computing Procedure for Quantification Theory
  Journal of the ACM, 1960
• On the interpretation of Aristotelian syllogistic
  The Journal of Symbolic Logic, 1956
• Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem
  Mathematische Annalen, 1922