h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Unruh, Dominique
%T Without Loss of Generality
%J Archive of formal proofs
%@ 2150-914x
%C San Diego, CA
%I SourceForge
%M RWTH-2025-02066
%P August 30, 2024
%D 2024
%F PUB:(DE-HGF)16
%9 Journal Article
%U https://publications.rwth-aachen.de/record/1005871