Ground_Ordered_Resolution

Relation_Extra

Ground_Ordered_Resolution_Completeness

Ground_Ordered_Resolution_Soundness

Ordered_Resolution

Grounded_Ordered_Resolution

Ordered_Resolution_Soundness

Ordered_Resolution_Completeness

Ordered_Resolution_Welltypedness_Preservation

Untyped_Ordered_Resolution

Untyped_Ordered_Resolution_Inference_System

Untyped_Ordered_Resolution_Completeness

Untyped_Ordered_Resolution_Soundness

Monomorphic_Ordered_Resolution

Ordered_Resolution_Example