Adolfo Piperno, Enrico Tronci. Regular Systems in lambda-Calculus. Int. J. Found. Comput. Sci., 1(3):325-340, 1990.
@article{PipernoT90, title = {Regular Systems in lambda-Calculus}, author = {Adolfo Piperno and Enrico Tronci}, year = {1990}, researchr = {https://researchr.org/publication/PipernoT90}, cites = {0}, citedby = {0}, journal = {Int. J. Found. Comput. Sci.}, volume = {1}, number = {3}, pages = {325-340}, }