Search results
Archive for Mathematical Logic > 2016 > 55 > 3-4 > 461-473
Studia Logica > 2014 > 102 > 3 > 609-615
Journal of Automated Reasoning > 2013 > 50 > 2 > 123-133
Journal of Philosophical Logic > 2011 > 40 > 4 > 531-555
Annals of Pure and Applied Logic > 2010 > 162 > 2 > 144-161
Theoretical Computer Science > 2008 > 403 > 2-3 > 160-175