Катречко, С. 1995. Интеллектуалньый бектрекинг. Логические исследования. 3, (ноя. 1995), 187-204. DOI:https://doi.org/10.21146/2074-1472-1995-3-0-187-204.