Search results
Bulletin of the Section of Logic > 2020 > 49 > 3 > 255-268
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Studia Logica > 2019 > 107 > 4 > 613-637
Archive for Mathematical Logic > 2019 > 58 > 1-2 > 155-181
Logica Universalis > 2017 > 11 > 3 > 317-343
Theoretical Computer Science > 2015 > 597 > Complete > 1-17
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Annals of Pure and Applied Logic > 2012 > 163 > 4 > 439-466
Archive for Mathematical Logic > 2012 > 51 > 1-2 > 71-92
Lithuanian Mathematical Journal > 2012 > 52 > 1 > 1-12
Lithuanian Mathematical Journal > 2012 > 52 > 2 > 123-133
Information and Computation > 2011 > 209 > 12 > 1519-1535
Studia Logica > 1-24
Studia Logica > 2009 > 92 > 2 > 241-264
Studia Logica > 2007 > 85 > 1 > 1-31
Lithuanian Mathematical Journal > 2006 > 46 > 3 > 347-355
Lithuanian Mathematical Journal > 2006 > 46 > 2 > 163-172
Archive for Mathematical Logic > 2004 > 43 > 8 > 965-990