Corrado Böhm, Benedetto Intrigila. The Ant-Lion Paradigm for Strong Normalization. Inf. Comput., 114(1):30-49, October 1994.
@article{BohmI94, title = {The Ant-Lion Paradigm for Strong Normalization}, author = {Corrado Böhm and Benedetto Intrigila}, year = {1994}, month = {October}, researchr = {https://researchr.org/publication/BohmI94}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {114}, number = {1}, pages = {30-49}, }