Polytypic Proof Construction (1999)

by Holger Pfeifer, Harald Rueß