Pengarang: Félix Bou, Francesc Esteva, Lluís Godo, and Ricardo Oscar Rodríguez
| No. Panggil: Journal of Logic and Computation October 2011, 21 (5), p. 739-790
| Penerbitan: Oxford University Press
Pengarang: A. Sernadas, C. Sernadas,and J. Rasga
| No. Panggil: Journal of Logic and Computation December 2012, 22 (6), p. 1453-1470
| Penerbitan: Oxford University Press
Pengarang: Lauri Hella and Tero Tulenheimo
| No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 157-180
| Penerbitan: Oxford University Press
Pengarang: Andrew Koster, Marco Schorlemmer, and Jordi Sabater-Mir
| No. Panggil: Journal of Logic and Computation February 2013, 23 (1), p. 25-58
| Penerbitan: Oxford University Press
Pengarang: Dion C. S. Coumans and Samuel J. van Gool
| No. Panggil: Journal of Logic and Computation June 2013, 23 (3), p. 645-672
| Penerbitan: Oxford University Press