Ground_Critical_Pairs

Ground_Superposition

Abstract_Rewriting_Extra

Relation_Extra

Ground_Superposition_Completeness

Ground_Superposition_Soundness

Ground_Superposition_Welltypedness_Preservation

Superposition

Grounded_Superposition

Superposition_Welltypedness_Preservation

Superposition_Completeness

Superposition_Soundness

IsaFoR_Term_Copy

Superposition_Example