Padawitz,Peter. Deduction and declarative programming. - ed. - London : Cambridge press, 1992. - 279 p. ; cm. index. ISBN: $ Subjects--Topical Terms: programming.