<https://www.inf.ufrgs.br/logics/docman/work_phd_l...
# general