PanLinx
English
eng-000
pseudo-Boolean
русский
rus-000
псевдобулев
PanLex