Under Consideration for Publication in Theory and Practice of Logic Programming Generalization Strategies for the Verification of Infinite State Systems