TY  - CHAP
AU  - Leach Albert, Javier
AU  - Nieva Soto, Susana
A4  - Voronkov ,  Andrei
PY  - 1992
SN  - 3-540-55727-X
UR  - https://hdl.handle.net/20.500.14352/60589
M2  - 481
PB  - Springer Verlag
TI  - MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions
TY  - book part
ER  -