TY  - BOOK
AU  - Caires
TI  - Unificação de ordem superior polimórfica para a programação em lógica 
PY  - 1994///
CY  - Lisboa 
PB  - L. M. M. C. C. 
KW  - Engenharia informática
KW  - Teses
KW  - QA76
ER  -