Комендантский, В. «Теорема представления Пристли и метод резолюций в многозначных логиках.». Логические исследования, т. 10, ноябрь 2003 г., сс. 109-16, doi:10.21146/2074-1472-2003-10-0-109-116.