@article(allen83,
 author       = "J. Allen",
 year         = "1983",
 title        = "Maintaining Knowledge about Temporal Intervals",
 journal      = "Communications of the ACM",
 volume       = "26",
 number       = "11",
 pages        = "832--843",
 doi          = "10.1145/182.358434",
)
@incollection(buchiland69,
 author       = "J. R. B\"uchi and L. H. Landweber",
 year         = "1990",
 title        = "Solving Sequential Conditions by Finite-State Strategies",
 editor       = "S. Mac Lane and D. Siefkes",
 booktitle    = "The Collected Works of J. R. B\"uchi",
 publisher    = "Springer New York",
 pages        = "525--541",
 doi          = "10.2307/1994916",
)
@inproceedings(Church57,
 author       = "A. Church",
 year         = "1957",
 title        = "Applications of recursive arithmetic to the problem of circuit synthesis",
 booktitle    = "Summaries of the Summer Institute of Symbolic Logic, Volume I",
 publisher    = "Cornell Univ., Ithaca, N.Y.",
 pages        = "3--50",
 doi          = "10.2307/2271310",
)
@inproceedings(FMR12,
 author       = "T. French and J. C. McCabe-Dansted and M. Reynolds",
 year         = "2012",
 title        = "Synthesis for Temporal Logic over the Reals",
 booktitle    = "Proc. of the 9th AiML",
 pages        = "217--238",
)
@article(JACM::HalpernS1991,
 author       = "J. Halpern and Y. Shoham",
 year         = "1991",
 title        = "A propositional modal logic of time intervals",
 journal      = "Journal of the ACM",
 volume       = "38",
 number       = "4",
 pages        = "935--962",
 doi          = "10.1145/115234.115351",
)
@article(ManWol84,
 author       = "Z. Manna and P. Wolper",
 year         = "1984",
 title        = "Synthesis of Communicating Processes from Temporal Logic Specifications",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "6",
 number       = "1",
 pages        = "68--93",
 doi          = "10.1145/357233.357237",
)
@book(Minsky:1967:CFI:1095587,
 author       = "M. L. Minsky",
 year         = "1967",
 title        = "Computation: Finite and Infinite Machines",
 publisher    = "Prentice-Hall, Inc.",
 address      = "NJ, USA",
)
@inproceedings(abba_finite,
 author       = "A. Montanari and G. Puppis and P. Sala",
 year         = "2010",
 title        = "Maximal decidable fragments of {H}alpern and {S}hoham's modal logic of intervals",
 booktitle    = "Proc. of the 37th ICALP - Part II",
 series       = "LNCS",
 volume       = "6199",
 pages        = "345--356",
 doi          = "10.1007/978-3-642-14162-1\_29",
)
@inproceedings(abb_natural,
 author       = "A. Montanari and G. Puppis and P. Sala and G. Sciavicco",
 year         = "2010",
 title        = "Decidability of the Interval Temporal Logic {$AB\mathaccentV {bar}016{B}$} on Natural Numbers",
 booktitle    = "Proc. of the 27th STACS",
 pages        = "597--608",
 doi          = "10.4230/LIPIcs.STACS.2010.2488",
)
@inproceedings(montanari2013adding,
 author       = "A. Montanari and P. Sala",
 year         = "2013",
 title        = "Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness",
 booktitle    = "Proc. of the 28th LICS",
 organization = "IEEE",
 pages        = "193--202",
 doi          = "10.1109/LICS.2013.25",
)
@inproceedings(PnuRos89,
 author       = "A. Pnueli and R. Rosner",
 year         = "1989",
 title        = "On the Synthesis of a Reactive Module",
 booktitle    = "Proc. of the 16th POPL",
 publisher    = "ACM Press",
 pages        = "179--190",
 doi          = "10.1145/75277.75293",
)
@article(DBLP:journals/lmcs/Rabinovich07,
 author       = "A. Rabinovich",
 year         = "2007",
 title        = "The Church Synthesis Problem with Parameters",
 journal      = "Logical Methods in Computer Science",
 volume       = "3",
 number       = "4",
 doi          = "10.2168/lmcs-3(4:9)2007",
)
@inproceedings(RabThoCSL07,
 author       = "A. Rabinovich and W. Thomas",
 title        = "Logical refinements of ChurchÕs Problem",
 booktitle    = "Proc. of the 21st CSL",
 series       = "LNCS",
 volume       = "4646",
 publisher    = "Springer",
 pages        = "69--83",
 doi          = "10.1007/978-3-540-74915-8\_9",
)
@incollection(cheat_sheet,
 author       = "P. Schnoebelen",
 year         = "2010",
 title        = "Lossy Counter Machines Decidability Cheat Sheet",
 editor       = "A. Kucera and I. Potapov",
 booktitle    = "Reachability Problems",
 series       = "LNCS",
 volume       = "6227",
 publisher    = "Springer",
 pages        = "51--75",
 doi          = "10.1007/978-3-642-15349-5\_4",
)
@article(JLOGC::Venema1991,
 author       = "Y. Venema",
 year         = "1991",
 title        = "A modal logic for chopping intervals",
 journal      = "Journal of Logic and Computation",
 volume       = "1",
 number       = "4",
 pages        = "453--476",
 doi          = "10.1093/logcom/1.4.453",
)