PITL2MONA: Implementing a decision procedure for Propositional Interval Temporal Logic (0)

by R Gomez, H Bowman
Venue:Journal of Applied Non-Classical Logics