Azevedo, P. J., & Sergot, M. J. A Proof Procedure Based on Recomputation-Free Lemmatization.
Chicago Style (17th ed.) CitationAzevedo, P. J., and M. J. Sergot. A Proof Procedure Based on Recomputation-Free Lemmatization.
MLA (9th ed.) CitationAzevedo, P. J., and M. J. Sergot. A Proof Procedure Based on Recomputation-Free Lemmatization.
Warning: These citations may not always be 100% accurate.
