h1

h2

h3

h4

h5
h6
%0 Journal Article
%A Lehrstuhl für Logik und Theorie diskreter Systeme (Informatik 7)
%U https://publications.rwth-aachen.de/record/224068