Regular Expression Containment as a Proof Search Problem