A Comparative Study of the Well-Founded and the Stable Model Semantics: Transformation's Viewpoint