- Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama:
Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. 15(2): 12:1-12:30 (2014) - Tony Tan:
Extending two-variable logic on data trees with order on data values and its automata. ACM Trans. Comput. Log. 15(1): 8:1-8:39 (2014) - Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng:
Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. 15(3): 22:1-22:31 (2014) - Damiano Zanardini, Samir Genaim:
Inference of Field-Sensitive Reachability and Cyclicity. ACM Trans. Comput. Log. 15(4): 33:1-33:41 (2014) - Lan Zhang, Ullrich Hustadt, Clare Dixon:
A resolution calculus for the branching-time temporal logic CTL. ACM Trans. Comput. Log. 15(1): 10:1-10:38 (2014)