Proof Relevant Corecursive Resolution. - Peng Fu 001; Ekaterina Komendantskaya; Tom Schrijvers; Andrew Pond (FLOPS, 2016)