Manolis Gergatsoulis;Panos Rondogiannis;Themis Panayiotopoulos
-;-;-
Logical foundations for more expressive declarative temporal logic programming languages
ACM Transactions on Computational Logic (TOCL)