Tableau-Based Automated Deduction for Duration Calculus.

Nathalie Chetcuti-Sperandio

Browse the full TABLEAUX paper archive.