CITATION STYLE
Hustadt, U., Konev, B., Riazanov, A., & Voronkov, A. (2004). TeMP: A temporal monodic prover. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3097, pp. 326–330). Springer Verlag. https://doi.org/10.1007/978-3-540-25984-8_23
Mendeley helps you to discover research relevant for your work.