Improving Temporal Logic Tableaux Using Integer Constraints.

Reiner Hähnle Ortrun Ibens Improving Temporal Logic Tableaux Using Integer Constraints. 535-539 1994 conf/ictl/1994 ICTL db/conf/ictl/ictl1994.html#HahnleI94