B. Filho, R., 		Santos, J., & 		Haeusler, E.
2023 ago  6.  On the Coverage Property of a Derivation Compression Algorithm. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :