Ground_Superposition

Abstract_Rewriting_Extra

Relation_Extra

Ground_Superposition_Completeness

Ground_Superposition_Soundness

Typed_Ground_Superposition

Superposition

Monomorphic_Superposition

Ground_Superposition_Example

Grounded_Superposition

Superposition_Welltypedness_Preservation

Superposition_Completeness

Superposition_Soundness

Superposition_Example

Untyped_Superposition

Untyped_Superposition_Inference_System

Untyped_Superposition_Completeness

Untyped_Superposition_Soundness