Search results
Theoretical Computer Science > 2009 > 410 > 46 > 4747-4768
Annals of Pure and Applied Logic > 2009 > 161 > 2 > 139-149
Electronic Notes in Theoretical Computer Science > 2009 > 247 > Complete > 39-49
Electronic Notes in Theoretical Computer Science > 2009 > 246 > Complete > 71-85
Studia Logica > 1-24
Logica Universalis > 2009 > 3 > 1 > 59-94
Studia Logica > 2009 > 92 > 2 > 241-264
Studia Logica > 2009 > 91 > 2 > 217-238
Journal of Logic and Algebraic Programming > 2008 > 76 > 2 > 216-225
Theoretical Computer Science > 2008 > 398 > 1-3 > 114-128
Electronic Notes in Theoretical Computer Science > 2008 > 205 > Complete > 49-65
Annals of Pure and Applied Logic > 2008 > 153 > 1-3 > 38-65
Journal of Automated Reasoning > 2008 > 41 > 2 > 143-189
Lithuanian Mathematical Journal > 2008 > 48 > 2 > 123-136
Lithuanian Mathematical Journal > 2008 > 48 > 2 > 174-187
Annals of Pure and Applied Logic > 2007 > 149 > 1-3 > 81-99