Search results
Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 193--203
Annals of Pure and Applied Logic > 2018 > 169 > 10 > 997-1043
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Fundamenta Informaticae > 2018 > Vol. 161, nr 1/2 > 191--218
Journal of Applied Logic > 2017 > 21 > C > 57-90
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 4 > 500-519
Logica Universalis > 2016 > 10 > 2-3 > 135-141
Studia Logica > 2016 > 104 > 2 > 317-341
Logic and Logical Philosophy > 2015 > 24 > 3 > 339–355
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Siberian Mathematical Journal > 2014 > 55 > 1 > 118-124
Journal of Philosophical Logic > 2013 > 42 > 1 > 49-89
Information and Computation > 2011 > 209 > 12 > 1437-1446
Algebra and Logic > 2011 > 50 > 3 > 245-256
Journal of Philosophical Logic > 2010 > 39 > 2 > 159-171
Annals of Pure and Applied Logic > 2009 > 161 > 3 > 427-446
Studia Logica > 1-24
Annals of Pure and Applied Logic > 2009 > 159 > 1-2 > 171-186
Studia Logica > 2009 > 92 > 2 > 241-264