Building and Refining Abstract Planning Cases by Change of Representation Language