Finding necessary and sufficient conditions for isomorphism between two
semigroups of order-preserving transformations over an infinite domain with
restricted range was an open problem in \cite{FHQS}. In this paper, we show a
proof strategy to answer that question.Comment: To appear in IJMMS Vol.2015 (2015), Article ID 18702
