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