Manlove [1]} describes a polynomial transformation from a weakly stable matching in and instance of hrt to a weakly stable matching in an instance of smti, and vice versa, where the size of matchings is conserved.
