Нормальная форма для выводов в исчислении предикатов с равенством и функциональными символами

В. А. Лифшиц

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

• 
•