The qualitative problem solving system PHYSYS. - Ali Manafi Shemirani; John C. Thompson (ACM Conference on Computer Science, 1989)