Fair Derivations in Monodic Temporal Reasoning.

Michel Ludwig, Ullrich Hustadt

Browse the full CADE paper archive.