Search results
Annals of Pure and Applied Logic > 2012 > 163 > 4 > 439-466
Journal of Logic and Algebraic Programming > 2008 > 76 > 2 > 216-225
Lithuanian Mathematical Journal > 2006 > 46 > 2 > 163-172
Lithuanian Mathematical Journal > 2004 > 44 > 2 > 168-179
Lithuanian Mathematical Journal > 2002 > 42 > 3 > 219-231