1. Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, and Simona Ronchi Della Rocca. A discrimination algorithm inside A-calculus. Theoretical Computer Science, 8 (3): 271–291, 1978.
2. Simona Ronchi Della Rocca. Discriminability of infinite sets of terms in the Doe -models of the A-calculus. In Egidio Astesiano and Corrado Böhm, editors, Proceedings of the 6th Colloquium on Trees in Algebra and Programming (CAAP’81), volume 112 of Lecture Notes in Computer Science, pages 350–364, Genova, Italy, March 1981. Springer-Verlag.
3. Adolfo Piperno. An algebraic view of the Böhm-out technique. Theoretical Computer Science, 212 (1–2): 233–246, February 1999.
4. Corrado Böhm and Adolfo Piperno. Characterizing X-separability and one-side invertibility in A-ß-Q-calculus. In Proceedings, Third Annual Symposium on Logic in Computer Science - LICS’88,pages 91–103, Edinburgh, Scotland, 5–8 July 1988. IEEE Computer Society Press.
5. Corrado Böhm, Adolfo Piperno, and Enrico Tronci. Solving equations in lambda-calculus. In Logic Colloquium’88,Amsterdam, 1988. North-Holland.