FIX to Compact Rich-Functional Binary Relation Representations
Level: Small
In the algorithm for rel_sel_lab_maj (sec 4, end of page 6), the final account
in the last line must be done with r', not with r-r'.
In page 7 line 11 rel_rnk should be rel_num.