Juan Heguiabehere

	2002
4		Carlos Areces, Juan Heguiabehere: HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE 2002: 156-160
	2001
3		Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Tableau Reasoning and Programming with Dynamic First Order Logic. Logic Journal of the IGPL 9(3): (2001)
	2000
2		Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke: Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203
1		Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71

Coauthor Index

1	Carlos Areces	[2] [4]
2	Jan van Eijck	[1] [3]
3	Rosella Gennari	[2]
4	Breanndán Ó Nualláin	[1] [3]
5	Maarten de Rijke	[2]