Publications of E. M. Clarke
1985
The complexity of propositional linear temporal logics (1985), in: Journal of the Association for Computing Machinery, 32:3(733--749) | and ,
The complexity of propositional linear temporal logics (1985), in: Journal of the Association for Computing Machinery, 32:3(733--749) | and ,