Pereira, L. C., & Pereira, L. C. (1982). On the estimation of the length of normal derivations. Gotab Stockholm: University of Stockholm. Departamento of Philosophy.
Chicago Style CitationPereira, Luiz Carlos, and Luiz Carlos Pereira. On the Estimation of the Length of Normal Derivations. Gotab Stockholm: University of Stockholm. Departamento of Philosophy, 1982.
MLA CitationPereira, Luiz Carlos, and Luiz Carlos Pereira. On the Estimation of the Length of Normal Derivations. Gotab Stockholm: University of Stockholm. Departamento of Philosophy, 1982.
Warning: These citations may not always be 100% accurate.