info:eu-repo/grantAgreement/FCT//SFRH%2FBPD%2F93278%2F2013/PTTeoria da demonstração: abordagem lógico-computacionalSFRH/BPD/93278/2013