1. Solvable Cases of the Decision Problem.;Ackermann,1954
2. B. Badban. Verification Techniques for Extensions of Equality Logic. PhD thesis, Amsterdam Vrij University, 2006
3. Zero, successor and equality in binary decision diagrams;Badban;Annals of Pure and Applied Logic,2005
4. Term Rewriting Systems,2003
5. Symbolic boolean manipulation with ordered binary-decision diagrams;Bryant;ACM Computing Surveys,1992