Labelled Tableaux for Temporal Logic with Cardinality Constraints.

Clare Dixon, Boris Konev, Renate A. Schmidt, Dmitry Tishkovsky

Browse the full SYNASC paper archive.