Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science)