Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking. - Gianpiero Cabodi; Marco Crivellari; Sergio Nocco; Stefano Quer (DATE, 2005)