Top pub journal of logic and algebraic programming PDF Book