Developments Towards Constraining Qualitative Simulation (1987)

by W W Lee, C Chiu, B J Kuipers