S
uper
C
alc
multisets_continued
well_founded_continued
terms
equational_clausal_logic
superposition