Pengarang: Silvana Castano, Irma Sofia Espinosa Peraldi, Alfio Ferrara, Vangelis Karkaletsis,dll
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 859-897
| Penerbitan: Oxford University Press
Pengarang: Kevin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, and Nathalie Aussenac-Gilles
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 831-858
| Penerbitan: Oxford University Press
Pengarang: Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 807-829
| Penerbitan: Oxford University Press
Pengarang: Joe Geldart and William Song
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 791-806
| Penerbitan: Oxford University Press
Pengarang: Jennifer Golbeck and Christian Halaschek-Wiener
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 771-790
| Penerbitan: Oxford University Press
Pengarang: Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 745-770
| Penerbitan: Oxford University Press
Pengarang: Márcio M. Ribeiro and Renata Wassermann
| No. Panggil: Journal of Logic and Computation October 2009, 19 (5), p. 721-743
| Penerbitan: Oxford University Press
Pengarang: Salem Benferhat, Sylvain Lagrue, and Julien Rossit
| No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1577-1610
| Penerbitan: Oxford University Press
Pengarang: Stéphane Demri and Régis Gascon
| No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1541-1575
| Penerbitan: Oxford University Press
Pengarang: Hanifa Boucheneb, Guillaume Gardey, and Olivier H. Roux
| No. Panggil: Journal of Logic and Computation December 2009, 19 (6), p. 1509-1540
| Penerbitan: Oxford University Press