Search results
Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 181-196
Studia Logica > 2016 > 104 > 6 > 1245-1265
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Annals of Pure and Applied Logic > 2012 > 163 > 2 > 111-121
Fundamenta Informaticae > 2012 > Vol. 121, nr 1/4 > 83-120
Theoretical Computer Science > 2009 > 410 > 46 > 4747-4768
Studia Logica > 1-24
Studia Logica > 2009 > 92 > 2 > 241-264
Theoretical Computer Science > 1999 > 212 > 1-2 > 141-155