Deville, Yves. Logic Programming : Systematic Program Development / Yves Deville. - Wokingham : Addison-Wesley Publishing Company, 1990. - XVII, 338 s. : il. ; 24 cm. - (International Series in Logic Programming) . bibliogr. ISBN: 0201175762 Uniwersalna Klasyfikacja Dziesiętna: 681.3