Erratum: A Cascade Algorithm for the Logical Closure of a Set of Binary Relations