Union of Reducibility Candidates for Orthogonal Constructor Rewriting.

Colin Riba

Browse the full CiE paper archive.