PanLinx
hrvatski
hrv-000
modalna logika pravila
English
eng-000
modal logic of rules and runs
PanLex