Логическое  программирование / 
Сборник статей;  ред.: В. Н. Агафонов 
 - Москва:  Мир,  1988. 
 - 368 с.  ил. 
 - Математичерское  обеспечение  ЭВМ .
<br/><br/>Библиогр.: в конце главы 
<br/><br/><label>ISBN: </label>5-03-000972-8