0 citations0 referencesGoogle Scholardoi.orgBasic superposition is completeLecture notes in computer science·1992·pp. 371–389Citations Over TimeTop 10% of 1992 papersRobert Nieuwenhuis, Albert RubioRelated Papers→ Basic superposition is complete(1992)61 cited→ Fair Derivations in Monodic Temporal Reasoning(2009)10 cited→ Deriving inference rules for terminological logics(2005)18 cited→ The completeness of a hardware inference system(1994)9 cited→ On subsumption in distributed derivations(1994)6 cited