PanLinx
English
eng-000
nonmonotonic conclusion
русский
rus-000
немонотонное заключение
русский
rus-000
нестрогий вывод
PanLex