Non-elementary Speed-Ups in Default Reasoning.

Uwe Egly, Hans Tompits

Browse the full ECSQARU paper archive.