PanLinx
hrvatski
hrv-000
nedeterministička potpunost
English
eng-000
nondeterministic completeness
PanLex
