Our paper “Nominal Equational Problems” has been accepted at FoSSaCS’21.