Tree-based Heuristics in Modal Theorem Proving.

Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke

Browse the full ECAI paper archive.