@misc{misc0f78f3c8,
title   = {Analyzing categories of signatures},
author = {Mendes, Caio A and Mariano, Hugo Luiz},
year = {2018},
booktitle   = {Brazilian Logic Conference - EBL}
}