Robinson B. Filho, Jefferson Santos, and Edward Haeusler. 2023.
 On the Coverage Property of a Derivation Compression Algorithm. In <em>Anais do IV Workshop Brasileiro de Lógica</em>, agosto 06, 2023, João Pessoa/PB, Brasil. SBC, Porto Alegre, Brasil, 1-8. DOI: <a href="https://doi.org/10.5753/wbl.2023.230566">https://doi.org/10.5753/wbl.2023.230566</a>.