Tableaux for Temporal Description Logic with Constant Domains.

Carsten Lutz, Holger Sturm, Frank Wolter, Michael Zakharyaschev

Browse the full CADE paper archive.