Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf
scientific article; zbMATH DE number 2102945