Yap Prolog      CRACS      DCC      FCUP      UP

• Contact
• Bio
• Research
• Publications
  • Thesis
  • Editor
  • Journals
  • Books
  • Proceedings
  • Tech Reports
• Talks & Posters
• Teaching

On the Web

Authenticus

Scopus

ResearcherID

ORCID

DBLP

Scholar My Citations