B. Filho, Robinson, 		Santos, Jefferson, E 		Haeusler, Edward.
" On the Coverage Property of a Derivation Compression Algorithm" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (6 agosto 2023)