Labelled Superposition for PLTL.

Martin Suda, Christoph Weidenbach

Browse the full LPAR paper archive.