Карпенко, А. (2001) «Подструктурные логики: гильбертовский подход.», Логические исследования, 80, сс. 65-71. doi: 10.21146/2074-1472-2001-8-0-65-71.