Один алгоритм нахождения полного усиления секвенций в исчислении высказываний

Н. К. Замов, В. И. Шаронов

Реферативные базы данных:

• 
•