Michel Ludwig, Ullrich Hustadt. Resolution-Based Model Construction for PLTL. In Carsten Lutz, Jean-François Raskin, editors, TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. pages 73-80, IEEE Computer Society, 2009. [doi]
Abstract is missing.