Pengarang: Manuel Bodirsky and Hubie Chen
| No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1359-1383
| Penerbitan: Oxford University Press
Pengarang: Alexandra A. Soskova and Ivan N. Soskov
| No. Panggil: Journal of Logic and Computation December 2013; 23 (6), p. 1319-1334
| Penerbitan: Oxford University Press
Pengarang: Tomohiro Aoyama, Masayasu Nagoshi, and Kaoru Sato
| No. Panggil: Microscopy (Volume 64 Issue 5 Oktober 2015, p. 319-325)
| Penerbitan: Oxford University Press
Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth
| No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523)
| Penerbitan: Oxford University Press
Pengarang: Hanna Hottenrott, Cindy Lopes-Bento
| No. Panggil: Industrial and Corporate Change (Volume 15 Issue 5 October 2015, p. 981-1011)
| Penerbitan: Oxford University Press