%0 Book Section
%T MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions
publisher Springer Verlag
%D 1992
%U 3-540-55727-X
%@ https://hdl.handle.net/20.500.14352/60589
%~