B. Filho, Robinson, Jefferson de B. Santos, and Edward Hermann Haeusler.
" On the Coverage Property of a Derivation Compression Algorithm." <em>Anais do IV Workshop Brasileiro de Lógica,
João Pessoa/PB, 2023</em>. SBC, 2023,  
pp.1-8.