A Deductive Object-Oriented Approach to Model Management. - Vilas Wuwongse; Somsak Klumklai (PACIS, 1995)