Assertion list
algorithm (primary) → DefinedAs
Results from Ascent++: 1
algorithm → DefinedAs → a set of rules 0.30