An automated reasoning method on first-order tense logic.

Wenjiang Li, Shuwei Chen

Browse the full ICMLC paper archive.