@article(interval_relations,
 author       = "J.F. Allen",
 year         = "1983",
 title        = "Maintaining Knowledge About Temporal Intervals",
 journal      = "Communications of the Association for Computing Machinery",
 volume       = "26",
 number       = "11",
 pages        = "832--843",
 doi          = "10.1145/182.358434",
)
@article(sosym,
 author       = "D.~Bresolin and D.~{Della Monica} and V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2011",
 title        = "Metric Propositional Neighborhood Logics on Natural Numbers",
 journal      = "Journal of Software and System Modeling (in press)",
 doi          = "10.1007/s10270-011-0195-y",
)
@article(Bresolin09b,
 author       = "D.~Bresolin and V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2009",
 title        = "Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "161",
 number       = "3",
 pages        = "289--304",
 doi          = "10.1016/j.apal.2009.07.003",
)
@inproceedings(rpnl_with_constraints,
 author       = "D.~Bresolin and V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2009",
 title        = "Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths",
 booktitle    = "Proc. of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM)",
 publisher    = "IEEE Comp. Society Press",
 pages        = "240--249",
 doi          = "10.1109/SEFM.2009.36",
)
@inproceedings(bresolin07a,
 author       = "D.~Bresolin and A.~Montanari and P.~Sala",
 year         = "2007",
 title        = "An optimal tableau-based decision algorithm for {P}ropositional {N}eighborhood {L}ogic",
 booktitle    = "Proc. of the 24th Annual Symposium on Theoretical Aspects of Computer Science (STACS)",
 series       = "LNCS",
 volume       = "4393",
 publisher    = "Springer",
 pages        = "549--560",
 doi          = "10.1007 978 3 540 70918 3 47",
)
@inproceedings(Bresolin08a,
 author       = "D.~Bresolin and A.~Montanari and P.~Sala and G.~Sciavicco",
 year         = "2008",
 title        = "{O}ptimal {T}ableaux for {R}ight {P}ropositional {N}eighborhood {L}ogic over {L}inear {O}rders",
 booktitle    = "Proc. of the 11th European Conference on Logics in AI (JELIA)",
 series       = "LNAI",
 volume       = "5293",
 publisher    = "Springer",
 pages        = "62--75",
 doi          = "10.1007 978 3 540 87803 2 7",
)
@techreport(rr01,
 author       = "D.~Bresolin and A.~Montanari and P.~Sala and G.~Sciavicco",
 year         = "2010",
 title        = "Tableau-based decision procedures for {P}ropositional {N}eighborhood {L}ogic",
 type         = "Technical Report",
 number       = "01",
 institution  = "Dipartimento di Matematica e Informatica",
 address      = "Universit\`{a} di Udine, Italy",
)
@article(bresolin07b,
 author       = "D.~Bresolin and A.~Montanari and G.~Sciavicco",
 year         = "2007",
 title        = "An optimal decision procedure for {R}ight {P}ropositional {N}eighborhood {L}ogic",
 journal      = "Journal of Automated Reasoning",
 volume       = "38",
 number       = "1-3",
 pages        = "173--199",
 doi          = "10.1007 s10817 006 9051 0",
)
@phdthesis(thesisdario,
 author       = "D.~{Della Monica}",
 year         = "2011",
 title        = "Expressiveness, Decidability, and Undecidability of Interval Temporal Logic",
 school       = "Department of Mathematics and Computer Science, University of Udine",
 address      = "Udine, Italy",
)
@article(Goranko03a,
 author       = "V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2003",
 title        = "Propositional interval neighborhood temporal logics",
 journal      = "Journal of Universal Computer Science",
 volume       = "9",
 number       = "9",
 pages        = "1137--1167",
 doi          = "10.3217/jucs-009-09-1137",
)
@article(Goranko04,
 author       = "V.~Goranko and A.~Montanari and G.~Sciavicco",
 year         = "2004",
 title        = "A road map of interval temporal logics and duration calculi",
 journal      = "Journal of Applied Non-Classical Logics",
 volume       = "14",
 number       = "1--2",
 pages        = "9--54",
 doi          = "10.3166/jancl.14.9-54",
)
@article(otto:2001a,
 author       = "M.~Otto",
 year         = "2001",
 title        = "Two Variable First-Order Logic over Ordered Domains",
 journal      = "Journal of Symbolic Logic",
 volume       = "66",
 number       = "2",
 pages        = "685--702",
 doi          = "10.2307/2695037",
)
@phdthesis(thesispietro,
 author       = "P.~Sala",
 year         = "2010",
 title        = "Decidability of Interval Temporal Logics",
 school       = "Department of Mathematics and Computer Science, University of Udine",
 address      = "Udine, Italy",
)
@article(compass_logic,
 author       = "Y.~Venema",
 year         = "1990",
 title        = "Expressiveness and Completeness of an Interval Tense Logic",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "31",
 number       = "4",
 pages        = "529--547",
 doi          = "10.1305/ndjfl/1093635589",
)
@article(chopping_intervals,
 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",
)