vol. 23, no. 3
vol. 23 no. 2, special issue in honour of Maurice Pouzet
vol. 23 no. 1
vol. 22 no. 4
vol. 22 no. 3, Computational Logic and Applications (CLA'19)