Algebraic and Logic Programmingby J. Grabowski, P. Lescanne, Wolfgang WechlerWriting a summary for young readers…For young readersBook data: Open Library