Rodolfo Gómez Howard Bowman PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic. 105-148 2004 14 Journal of Applied Non-Classical Logics 1-2 db/journals/jancl/jancl14.html#GomezB04