Антонова О. А. Табличные методы в логике. — Санкт-Петербург: Санкт-Петербургский государственный университет, 2003. — 256 с., ил. Библ. с.: 242-251. — русский. — ISBN 5-288-03309-9 — Российская Федерация.(Логика/ Санкт-Петербургский государственный университет)