@incollection(babu:chop,
 author       = "Ajesh Babu and Paritosh K. Pandya",
 year         = "2012",
 title        = "Chop Expressions and Discrete Duration Calculus",
 booktitle    = "Modern Applications of Automata Theory",
 pages        = "229--256",
 doi          = "10.1142/9789814271059\_0008",
)
@book(burris,
 author       = "Stanley Burris and H. P. Sankappanavar",
 year         = "1981",
 title        = "A Course in Universal Algebra",
 series       = "Graduate Texts in Mathematics",
 volume       = "78",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4613-8130-3\_7",
)
@article(buszkowski:action,
 author       = "Wojciech Buszkowski",
 year         = "2007",
 title        = "On Action Logic: Equational Theories of Action Algebras",
 journal      = "J. Log. Comput.",
 volume       = "17",
 number       = "1",
 pages        = "199--217",
 doi          = "10.1093/logcom/exl036",
)
@book(conway:regular,
 author       = "John Horton Conway",
 year         = "1971",
 title        = "Regular algebra and finite machines",
 series       = "Chapman \& Hall mathematics series",
 publisher    = "Chapman and Hall",
 address      = "London",
)
@book(galatos:residuated,
 author       = "Nikolaos Galatos and Peter Jipsen and Tomasz Kowalski and Hiroakira Ono",
 year         = "2007",
 title        = "Residuated Lattices: An Algebraic Glimpse at Substructural Logics",
 publisher    = "Elsevier",
)
@book(galton:aspect,
 author       = "Antony Galton",
 year         = "1984",
 title        = "The Logic of Aspect : An axiomatic approach",
 publisher    = "Clarendon Press",
 address      = "Oxford",
)
@article(girard:linear,
 author       = "Jean-Yves Girard",
 year         = "1987",
 title        = "Linear {L}ogic",
 journal      = "Theoretical Computer Science",
 volume       = "50",
 pages        = "1--102",
 doi          = "10.1016/0304-3975(87)90045-4",
)
@article(hovland:inclusion,
 author       = "Dag Hovland",
 year         = "2012",
 title        = "The inclusion problem for regular expressions",
 journal      = "J. Comput. Syst. Sci.",
 volume       = "78",
 number       = "6",
 pages        = "1795--1813",
 doi          = "10.1016/j.jcss.2011.12.003",
)
@inproceedings(kozen:kleene,
 author       = "Dexter Kozen",
 year         = "1990",
 title        = "On {K}leene Algebras and Closed Semirings",
 editor       = "Branislav Rovan",
 booktitle    = "MFCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "452",
 publisher    = "Springer",
 pages        = "26--47",
 doi          = "10.1007/BFb0029594",
)
@inproceedings(kozen:completeness,
 author       = "Dexter Kozen",
 year         = "1991",
 title        = "A Completeness Theorem for {K}leene Algebras and the Algebra of Regular Events",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "214--225",
 doi          = "10.1109/LICS.1991.151646",
)
@article(kozen:substructural,
 author       = "Dexter Kozen and Jerzy Tiuryn",
 year         = "2003",
 title        = "Substructural logic and partial correctness",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "4",
 number       = "3",
 pages        = "355--378",
 doi          = "10.1145/772062.772066",
)
@article(moenssteedman:ontology,
 author       = "Mark Moens and Mark Steedman",
 year         = "1988",
 title        = "Temporal ontology and temporal reference",
 journal      = "Computational Linguistics",
 volume       = "14",
 pages        = "15--28",
)
@inproceedings(pratt:action,
 author       = "Vaughan R. Pratt",
 year         = "1990",
 title        = "Action Logic and Pure Induction",
 editor       = "Jan van Eijck",
 booktitle    = "JELIA",
 series       = "Lecture Notes in Computer Science",
 volume       = "478",
 publisher    = "Springer",
 pages        = "97--120",
 doi          = "10.1007/BFb0018436",
)
@book(restall:introduction,
 author       = "Greg Restall",
 year         = "2008",
 title        = "An introduction to substructural logics",
 publisher    = "Routledge",
 address      = "New York [u.a.]",
)