Kim Guldstrand Larsen Liu Xinxin Equation Solving Using Modal Transition Systems conf/lics/LICS5 1990 LICS 108-117 db/conf/lics/lics90.html#LarsenX90