Structured Counterexamples for the Temporal Description Logic ALCCTL.

Franz Weitl, Shin Nakajima, Burkhard Freitag

Browse the full SEFM paper archive.