Complexity Results for Implication Bases of Convex Geometries. - Todd Bichoupan (CoRR, 2022)