Tree-based Heuristics in Modal Theorem Proving.

Carlos Areces Rosella Gennari Juan Heguiabehere Maarten de Rijke Tree-based Heuristics in Modal Theorem Proving. 199-203 2000 conf/ecai/2000 ECAI db/conf/ecai/ecai2000.html#ArecesGHR00