R. B. Filho, J. Santos, and E. Haeusler.
" On the Coverage Property of a Derivation Compression Algorithm", in <em>Anais do IV Workshop Brasileiro de Lógica</em>, João Pessoa/PB, 2023, pp. 1-8, doi: <a href="https://doi.org/10.5753/wbl.2023.230566">https://doi.org/10.5753/wbl.2023.230566</a>.