Cactus: A Branching-Time Logic Programming Language

Higher-order functional languages and intensional logic

Journal of Functional Programming

Axiomatic semantics of projection temporal logic programs†

Mathematical Structures in Computer Science

A semantic model for many-core parallel computing

COCOA'11 Proceedings of the 5th international conference on Combinatorial optimization and applications

Branching-time logic programming: the language Cactus and its applications

Computer Languages

A cylinder computation model for many-core parallel computing

Theoretical Computer Science

Logical foundations for more expressive declarative temporal logic programming languages

ACM Transactions on Computational Logic (TOCL)