PanLinx
Deutsch
deu-000
endliche Teilüberdeckung
English
eng-000
finite subcover
PanLex
