Search results
Fundamenta Informaticae > 2018 > Vol. 158, nr 1/3 > 239--275
Journal of Philosophical Logic > 2015 > 44 > 6 > 755-769
Theory and Decision > 2012 > 73 > 3 > 315-355
Fundamenta Informaticae > 2018 > Vol. 158, nr 1/3 > 239--275
Journal of Philosophical Logic > 2015 > 44 > 6 > 755-769
Theory and Decision > 2012 > 73 > 3 > 315-355