Assertion list
paper (primary) → HasPrerequisite
Results from Ascent++: 1
paper → HasPrerequisite → major revisions 0.47