1. Ackermann W (1954) Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland, Amsterdam
2. Amjad H (2007) Compressing propositional refutations. Electron Notes Theor Comput Sci 185:3–15
3. Amjad H (2008) Data compression for proof replay. J Autom Reason 41(3–4):193–218
4. Amla N, McMillan K (2003) Automatic abstraction without counterexamples. In: TACAS, pp 2–17
5. Bar-Ilan O, Fuhrmann O, Hoory S, Shacham O, Strichman O (2008) Linear-time reductions of resolution proofs. In: HVC, pp 114–128