Павлов, С. (2004) «Расширение области определения оператора истинности на ограниченную область символьных выражений.», Логические исследования, 110, сс. 238-242. doi: 10.21146/2074-1472-2004-11-0-238-242.