https://researchr.org/alias/uwe-nestmann
Uwe Nestmann - researchr alias
uwe nestmannresearchralias
https://devel.isa-afp.org/authors/nestmann/
Uwe Nestmann - Archive of Formal Proofs
Uwe Nestmann in the Archive of Formal Proofs
uwe nestmannarchiveformalproofs