TY  - JOUR
AU  - Leach Albert, Javier
AU  - Nieva Soto, Susana
PY  - 1992
DO  - 10.1007/BFb0013094
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/57756
T2  - Lecture Notes in Computer Science
M2  - 481
PB  - Springer Verlag
TI  - MIZ-PR: A theorem prover for polymorphic and recursive functions
TY  - journal article
VL  - 624
ER  -