B. Filho, R., 		Santos, J., & 		Haeusler, E.
(2023).
 On the Coverage Property of a Derivation Compression Algorithm.
In <em>Proceedings of the 4th Brazilian Workshop of Logic</em>, (pp. 1-8). Porto Alegre: SBC.
doi:10.5753/wbl.2023.230566