Characterizing Provability in .

Didier Galmiche, Daniel Mry

Browse the full LPAR paper archive.