Explanation-based theory revision : an approach to the problems of incomplete and incorrect theories (1988)