TY  - RPRT
TI  - PUC-Logic
AU  - R. Q. A Fernandes
AU  - E. H. Haeusler
AU  - L. C. P. D Pereira
PY  - 2014
UR  - https://arxiv.org/abs/1402.1535
ID  - 1402.1535
ER  -