{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:09:17Z","timestamp":1761620957851},"reference-count":37,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.3166\/jancl.14.105-148","type":"journal-article","created":{"date-parts":[[2007,4,12]],"date-time":"2007-04-12T08:54:28Z","timestamp":1176368068000},"page":"105-148","source":"Crossref","is-referenced-by-count":4,"title":["PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic"],"prefix":"10.1080","volume":"14","author":[{"given":"Rodolfo","family":"G\u00f3mez","sequence":"first","affiliation":[{"name":"a   Computing Laboratory , University of Kent at Canterbury (United Kingdom)"}]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[{"name":"a   Computing Laboratory , University of Kent at Canterbury (United Kingdom)"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","first-page":"39","volume-title":"Frontiers of Combining Systems 2, vol. 7 of Studies in Logic and Computation","author":"BASIN D.","year":"2000"},{"key":"CIT0002","volume-title":"CAV 2001","author":"BEER I.","year":"2001"},{"key":"CIT0003","volume-title":"An Interpretation of Cognitive Theory in Concurrency Theory","author":"BOWMAN H.","year":"1998"},{"key":"CIT0004","first-page":"108","volume-title":"International Conference on Analytic Tableaux and Related Methods (TABLEAUX'98), vol. 1397 of Lecture Notes in AI","author":"BOWMAN H."},{"key":"CIT0005","first-page":"132","volume-title":"Formal Aspects of Computing","volume":"11","author":"BOWMAN H.","year":"1999"},{"key":"CIT0006","first-page":"5","volume-title":"Formal Methods in System Design","volume":"22","author":"BOWMAN H.","year":"2003"},{"issue":"2","key":"CIT0007","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/13.2.195","volume":"13","author":"BOWMAN H.","year":"2003","journal-title":"Journal of Logic and Computation"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19600060105"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(91)90122-X"},{"key":"CIT0011","volume-title":"An Extended Interval Temporal Logic and A Framing Technique for Temporal Logic Programming","author":"DUAN Z. H.","year":"1996"},{"key":"CIT0012","first-page":"36","volume-title":"Logic in Computer Science","volume":"10","author":"DUTERTRE B.","year":"1995"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1961-0139530-9"},{"key":"CIT0014","first-page":"278","volume-title":"Proc. ICALP 1983, vol. 154 of Lecture Notes in Computer Science","author":"HALPERN J."},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"CIT0016","volume-title":"TOOLS Europe 2001","author":"HOLLANDER Y.","year":"2001"},{"key":"CIT0017","volume-title":"MONA Version 1.4 User Manual","author":"KLARLUND N.","year":"2001"},{"issue":"4","key":"CIT0018","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1142\/S012905410200128X","volume":"13","author":"KLARLUND N.","year":"2002","journal-title":"International Journal of Foundations of Computer Science"},{"key":"CIT0019","first-page":"40","volume-title":"Executable Modal and Temporal Logics: Proc. of the IJCAI- 93 Workshop","author":"KONO S."},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"CIT0021","volume-title":"Cambridge Tracts in Theoretical Computer Science","volume":"31","author":"MELHAM T.","year":"1993"},{"key":"CIT0022","first-page":"132","volume-title":"Logic Colloquium (Proc. Symposium on Logic, Boston, 1972), vol. 453 of Lecture Notes in Mathematics","author":"MEYER A. R."},{"key":"CIT0023","volume-title":"Reasoning about digital circuits","author":"MOSZKOWSKI B.","year":"1983"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1985.1662795"},{"key":"CIT0025","volume-title":"Executing Temporal Logic Programs","author":"MOSZKOWSKI B.","year":"1986"},{"key":"CIT0026","first-page":"223","volume-title":"Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), vol. 1853 of Lecture Notes in Computer Science","author":"MOSZKOWSKI B.","year":"2000"},{"key":"CIT0027","first-page":"242","volume-title":"Proceedings of Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000)","author":"MOSZKOWSKI B.","year":"2000"},{"key":"CIT0028","first-page":"548","volume-title":"Computer-Aided Verification, CAV '2000, vol. 1855 of Lecture Notes in Computer Science","author":"OWRE S.","year":"2000"},{"key":"CIT0029","volume-title":"2nd Workshop on Computer Science Logic, vol. 385 of LNCS","author":"PAECH B.","year":"1988"},{"key":"CIT0030","volume-title":"DCVALID 1.4: The user manual","author":"PANDYA P. K.","year":"2000"},{"key":"CIT0031","volume-title":"Specifying and deciding quantified discrete duration calculus formulae using DCVALID","author":"PANDYA P. K.","year":"2000"},{"key":"CIT0032","first-page":"123","volume-title":"Volume F-13 of NATO Advanced Summmer Institutes","author":"PNUELI A.","year":"1985"},{"key":"CIT0033","first-page":"270","volume-title":"Fundamental Approaches to Software Engineering, FASE'98, LNCS 1382","volume":"1382","author":"SANDHOLM A.","year":"1998"},{"key":"CIT0034","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-0-387-35533-7_2","volume-title":"Formal Methods for Distributed System Development","author":"SMITH M. A.","year":"2000"},{"key":"CIT0035","first-page":"133","volume-title":"Handbook of Theoretical Computer Science","author":"THOMAS W.","year":"1990"},{"key":"CIT0036","volume-title":"TACAS'01, vol. 2031 of LNCS","author":"VARDI M.","year":"2001"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.4.453"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.14.105-148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T11:57:21Z","timestamp":1498219041000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.14.105-148"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":37,"journal-issue":{"issue":"1-2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2004,1]]}},"alternative-id":["10.3166\/jancl.14.105-148"],"URL":"https:\/\/doi.org\/10.3166\/jancl.14.105-148","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}