Jose Gaintzarain and Paqui Lucio: Logical foundations for more expressive declarative temporal logic programming languages. (2013)journals/tocl/GaintzarainL1310.1145/2528931Logical foundations for more expressive declarative temporal logic programming languages.2Jose Gaintzarain1Paqui Lucio228:1-28:41ACM Trans. Comput. Log.ACM Trans. Comput. Log.1442013provenance information for RDF data of dblp record 'journals/tocl/GaintzarainL13'2018-11-06T12:51:53+0100