PanLinx
hrvatski
hrv-000
dedukcijski sustavi
English
eng-000
deductive systems
PanLex