0 citations0 referencesGoogle Scholardoi.orgSPIKE: A system for sufficient completeness and parameterized inductive proofsLecture notes in computer science·1994·pp. 836–840Citations Over TimeTop 13% of 1994 papersAdel BouhoulaRelated Papers→ Symmetry and Completeness in the Analysis of Parameterized Systems(2007)53 cited→ On Parameterized Intractability: Hardness and Completeness(2007)18 cited→ Basic superposition is complete(1992)61 cited→ Completeness of the LELS Inference Rule in Automated Theorem Proving(1999)