Эта публикация цитируется в 3 статьях

О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний

А. В. Кузнецов

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

•