Canonical rules, (2009)

by E Jerabek
Venue:Journal of Symbolic Logic