%0 Journal Article
%A Leach Albert, Javier
%A Nieva Soto, Susana
%T MIZ-PR: A theorem prover for polymorphic and recursive functions
%D 1992
%@ 0302-9743
%U https://hdl.handle.net/20.500.14352/57756
%~