A Coinductive Approach to Proof Search