Search results
Fundamenta Informaticae > 2015 > Vol. 140, nr 3/4 > 247--262
Studia Logica > 2015 > 103 > 6 > 1313-1317
Fundamenta Informaticae > 2014 > Vol. 131, nr 2 > 205--215
Fundamenta Informaticae > 2014 > Vol. 130, nr 1 > 21--65
Annals of Pure and Applied Logic > 2010 > 161 > 6 > 737-744
Annals of Pure and Applied Logic > 2005 > 132 > 1 > 51-66