PanLinx
русский
rus-000
программа проверки на непротиворечивость
English
eng-000
consistency checker
PanLex