Sciweavers

DLOG
2008

The Revival of Structural Subsumption in Tableau-based Reasoners

13 years 6 months ago
The Revival of Structural Subsumption in Tableau-based Reasoners
Ralf Möller, Volker Haarslev, Sebastian Wande
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2008
Where DLOG
Authors Ralf Möller, Volker Haarslev, Sebastian Wandelt
Comments (0)