Krystian Jobczyk, Antoni Ligeza, Krzysztof Kluza. Selected Temporal Logic Systems: An Attempt at Engineering Evaluation. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing - 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part I. Volume 9692 of Lecture Notes in Computer Science, pages 219-229, Springer, 2016. [doi]
Abstract is missing.