Tree-based Heuristics in Modal Theorem Proving. - Carlos Areces; Rosella Gennari; Juan Heguiabehere; Maarten de Rijke (ECAI, 2000)

Theorem Proving and Programming with Dynamic First Order Logic. - Jan van Eijck; Juan Heguiabehere; Breanndán Ó Nualláin (WFLP, 2000)

Tableau Reasoning and Programming with Dynamic First Order Logic. - Jan van Eijck; Juan Heguiabehere; Breanndán Ó Nualláin (Log. J. IGPL, 2001)

HyLoRes 1.0: Direct Resolution for Hybrid Logics. - Carlos Areces; Juan Heguiabehere (CADE, 2002)

Networked Ontologies from the Fisheries Domain. - Caterina Caracciolo; Juan Heguiabehere; Margherita Sini; Johannes Keizer (MTSR, 2009)

Knowledge Management at FAO: A Case Study on Network of Ontologies in Fisheries. - Caterina Caracciolo; Juan Heguiabehere; Aldo Gangemi; Claudio Baldassarre; Johannes Keizer; Marc Taconet (Ontology Engineering in a Networked World, 2012)