B. Filho, R., 		Santos, J., & 		Haeusler, E.
2023 Aug  6.  On the Coverage Property of a Derivation Compression Algorithm. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :