@inproceedings(AAlst,
 author       = "Wil M. P. van der Aalst et.al.",
 title        = "Process Mining Manifesto",
 booktitle    = "Procs of Business Process Management Workshops 2011",
 pages        = "169--194",
 url          = "http://dx.doi.org/10.1007/978-3-642-28108-2_19",
)
@article(barr,
 author       = "Howard Barringer and David E. Rydeheard and Klaus Havelund",
 year         = "2010",
 title        = "Rule Systems for Run-time Monitoring: from Eagle to RuleR",
 journal      = "Journal of Logic and Computation",
 volume       = "volume 20",
 pages        = "pages 675--706",
 url          = "http://dx.doi.org/10.1093/logcom/exn076",
)
@inproceedings(rvltl,
 author       = "Andreas Bauer and Martin Leucker and Christian Schallhart",
 title        = "The Good, the Bad, and the Ugly, But How Ugly Is Ugly?",
 booktitle    = "Procs. of Runtime Verification 2007",
 pages        = "126--138",
 url          = "http://dx.doi.org/10.1007/978-3-540-77395-5_11",
)
@inproceedings(ltl3,
 author       = "Andreas Bauer and Martin Leucker and Christian Schallhart",
 title        = "Monitoring of Real-Time Properties",
 booktitle    = "Procs. of Foundations of Software Technology and Theoretical Computer Science 2006",
 pages        = "260--272",
 url          = "http://dx.doi.org/10.1007/11944836_25",
)
@article(falsepos,
 author       = "David Breitgand and Maayan Goldstein and E. H. Shehory",
 year         = "2011",
 title        = "Efficient Control of False Negative and False Positive Errors with Separate Adaptive Thresholds",
 journal      = "Network and Service Management, IEEE Transactions on",
 volume       = "8",
 pages        = "128--140",
 url          = "http://dx.doi.org/10.1109/TNSM.2011.020111.00055",
)
@inproceedings(trover,
 author       = "Doron Drusinsky",
 title        = "The Temporal Rover and the ATG Rover",
 booktitle    = "Procs. of the International Workshop on SPIN Model Checking and Software Verification 2000",
 pages        = "323--330",
 url          = "http://dx.doi.org/10.1007/10722468_19",
)
@inproceedings(ltl+,
 author       = "Cindy Eisner and Dana Fisman and John Havlicek and Yoad Lustig and Anthony McIsaac and David Van Campenhout",
 title        = "Reasoning with Temporal Logic on Truncated Paths",
 booktitle    = "Procs. of Computer-Aided Verification 2003",
 pages        = "27--39",
 url          = "http://dx.doi.org/10.1007/978-3-540-45069-6_3",
)
@article(cilp,
 author       = "Artur S. d'Avila Garcez and Gerson Zaverucha",
 year         = "1999",
 title        = "The Connectionist Inductive Learning and Logic Programming System",
 journal      = "Applied Intelligence",
 volume       = "volume 11",
 pages        = "pages 59--77",
 url          = "http://dx.doi.org/10.1023/A:1008328630915",
)
@article(nmas,
 author       = "Christopher D. Hollander and Annie S. Wu",
 year         = "2011",
 title        = "The Current State of Normative Agent-Based Systems.",
 journal      = "J. Artificial Societies and Social Simulation",
 volume       = "14",
 pages        = "47--62",
 url          = "http://jasss.soc.surrey.ac.uk/14/2/6.html",
)
@article(horn,
 author       = "Alfred Horn",
 year         = "1951",
 title        = "On Sentences Which are True of Direct Unions of Algebras",
 journal      = "J. Symb. Log.",
 volume       = "16",
 pages        = "14--21",
 url          = "http://dx.doi.org/10.2307/2268661",
)
@article(kripke,
 author       = "Saul A. Kripke",
 year         = "1963",
 title        = "Semantical Considerations on Modal Logic",
 journal      = "Acta Philosophica Fennica",
 volume       = "16",
 pages        = "83--94",
)
@inproceedings(hornprod,
 author       = "Jean-Louis Lassez and Michael J. Maher",
 title        = "The Denotational Semantics of Horn Clauses as a Production System.",
 booktitle    = "Procs. of the Association for the Advancement of Artificial Intelligence 1983",
 pages        = "229--231",
 url          = "http://www.aaai.org/Library/AAAI/1983/aaai83-006.php",
)
@article(rv,
 author       = "Martin Leucker and Christian Schallhart",
 year         = "2009",
 title        = "A brief account of runtime verification",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "volume 78",
 pages        = "pages 293--303",
 url          = "http://dx.doi.org/10.1016/j.jlap.2008.08.004",
)
@inproceedings(fltl,
 author       = "Orna Lichtenstein and Amir Pnueli and Lenore D. Zuck",
 title        = "The Glory of the Past",
 booktitle    = "in Procs. of Logic of Programs 1985",
 pages        = "196--218",
 url          = "http://dx.doi.org/10.1007/3-540-15648-8_16",
)
@book(three,
 author       = "J. Lukasiewicz",
 year         = "1920",
 title        = "O logice trójwartosciowej (On Three-Valued Logic)",
)
@inproceedings(ltl,
 author       = "Amir Pnueli",
 title        = "The temporal logic of programs",
 booktitle    = "Procs. of the Annual Symposium on Foundations of Computer Science 1977",
 pages        = "46--57",
 url          = "http://doi.ieeecomputersociety.org/10.1109/SFCS.1977.32",
)
@article(kow,
 author       = "M. H. Van Emden and R. A. Kowalski",
 year         = "1976",
 title        = "The Semantics of Predicate Logic As a Programming Language",
 journal      = "J. ACM",
 volume       = "23",
 pages        = "733--742",
 url          = "http://dx.doi.org/10.1145/321978.321991",
)