Search results
Logica Universalis > 2018 > 12 > 3-4 > 423-460
Logica Universalis > 2018 > 12 > 1-2 > 83-100
Studia Logica > 2019 > 107 > 1 > 109-144
Journal of Automated Reasoning > 2018 > 60 > 2 > 133-156
Logica Universalis > 2014 > 8 > 1 > 61-81
Studia Logica > 2013 > 101 > 1 > 157-191
Studia Logica > 2012 > 100 > 4 > 753-785