@TECHREPORT{Hustadt+Konev+Riazanov+Voronkov@ULCS-TR2004,
 AUTHOR        = {U. Hustadt and B. Konev and A. Riazanov and A. Voronkov},
 TITLE         = {TeMP: A Temporal Monodic Prover},
 INSTITUTION   = {Department of Computer Science, University of Liverpool},
 YEAR          = {2004},
 TYPE          = {Technical Report},
 NUMBER        = {ULCS-04-004},
 ADDRESS       = {Liverpool, UK},
 URL           = {http://www.csc.liv.ac.uk/research/techreports/tr2004/ulcs-04-004.ps},
 ABSTRACT      = {In this paper we describe TeMP, the first automatic
 theorem prover for the monodic fragment of FOTL.}
}

{"_id":"XhXKnzcPyDgas8muz","bibbaseid":"hustadt-konev-riazanov-voronkov-tempatemporalmonodicprover-2004","author_short":["Hustadt, U.","Konev, B.","Riazanov, A.","Voronkov, A."],"bibdata":{"bibtype":"techreport","type":"Technical Report","author":[{"firstnames":["U."],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["B."],"propositions":[],"lastnames":["Konev"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Riazanov"],"suffixes":[]},{"firstnames":["A."],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"title":"TeMP: A Temporal Monodic Prover","institution":"Department of Computer Science, University of Liverpool","year":"2004","number":"ULCS-04-004","address":"Liverpool, UK","url":"http://www.csc.liv.ac.uk/research/techreports/tr2004/ulcs-04-004.ps","abstract":"In this paper we describe TeMP, the first automatic theorem prover for the monodic fragment of FOTL.","bibtex":"@TECHREPORT{Hustadt+Konev+Riazanov+Voronkov@ULCS-TR2004,\n AUTHOR = {U. Hustadt and B. Konev and A. Riazanov and A. Voronkov},\n TITLE = {TeMP: A Temporal Monodic Prover},\n INSTITUTION = {Department of Computer Science, University of Liverpool},\n YEAR = {2004},\n TYPE = {Technical Report},\n NUMBER = {ULCS-04-004},\n ADDRESS = {Liverpool, UK},\n URL = {http://www.csc.liv.ac.uk/research/techreports/tr2004/ulcs-04-004.ps},\n ABSTRACT = {In this paper we describe TeMP, the first automatic\n theorem prover for the monodic fragment of FOTL.}\n}\n","author_short":["Hustadt, U.","Konev, B.","Riazanov, A.","Voronkov, A."],"key":"Hustadt+Konev+Riazanov+Voronkov@ULCS-TR2004","id":"Hustadt+Konev+Riazanov+Voronkov@ULCS-TR2004","bibbaseid":"hustadt-konev-riazanov-voronkov-tempatemporalmonodicprover-2004","role":"author","urls":{"Paper":"http://www.csc.liv.ac.uk/research/techreports/tr2004/ulcs-04-004.ps"},"metadata":{"authorlinks":{}}},"bibtype":"techreport","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["temp","temporal","monodic","prover","hustadt","konev","riazanov","voronkov"],"title":"TeMP: A Temporal Monodic Prover","year":2004}