The problem of input-output stabilization in a general two-sided model matching setup is studied. As a first step, the problem is reduced to a pair of uncoupled bilateral Diophantine equations over RH infinity. Then, recent results on bilateral Diophantine equations are exploited to obtain a numerically tractable solution given in terms of explicit state-space formulae. The resulting solvability conditions rely on two uncoupled Sylvester equations accompanied by algebraic constraints. This is in contrast to the corresponding one-sided stabilization, where no Sylvester equations are required. It is shown that imposing a mild simplifying assumption is instrumental in obtaining convenient parameterization of all stabilizing solutions, which is affine in a single RH infinity parameter. This demonstrates that if the aforementioned assumption is imposed, the general two-sided stabilization problem is similar to its one-sided counterpart in the sense that the constraints imposed by a stability requirement can be resolved without increasing problem complexity.