PanLinx
русский
rus-000
нестрогий вывод
English
eng-000
nonmonotonic conclusion
PanLex