Journal of Applied Logic
Journal of Applied Logic > 2007 > 5 > 3 > 519-544
Journal of Applied Logic > 2007 > 5 > 3 > 492-518
Journal of Applied Logic > 2007 > 5 > 3 > 459-477
Journal of Applied Logic > 2007 > 5 > 3 > 545-573
Journal of Applied Logic > 2007 > 5 > 3 > 478-491
Journal of Applied Logic > 2007 > 5 > 3 > 392-420
Journal of Applied Logic > 2007 > 5 > 3 > 421-434
Journal of Applied Logic > 2007 > 5 > 3 > 435-458