Афонін Андрій Олександрович. Повні методи пошуку виведення в системах логічного програмування : Дис... канд. наук: 01.05.01 - 2011.