Skinny and Fleshy Failures of Relative Completeness.

Daniel Leivant, Tim Fernando

Browse the full POPL paper archive.