MIZ-PR: A theorem prover for polymorphic and recursive functions | Publicación