In: Journal of Logic and Computation, 2010, vol. 20, no. 2, p. 619-643
|
In: Journal of Logic and Computation, 2009, vol. 19, no. 6, p. 1245-1279
|
In: Journal of Logic and Computation, 2012, vol. 22, no. 1, p. 101-112
|
In: Journal of Logic and Computation, 1993, vol. 3, no. 4, p. 401-415
|
In: Journal of Logic and Computation, 1991, vol. 1, no. 6, p. 811-834
|
In: Journal of Logic and Computation, 1997, vol. 7, no. 5, p. 649-658
|
In: Journal of Logic and Computation, 1996, vol. 6, no. 1, p. 55-77
|
In: Journal of Logic and Computation, 1998, vol. 8, no. 1, p. 71-86
|
In: Journal of Logic and Computation, 2014, vol. 24, no. 1, p. 55-87
|