Eleusis: perfect recall for inductive reasoning // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014 St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems