The Application of Kripke-Type Structures to Regional Development Programs. - Matthias Baaz; Fernando Galindo; Gerald Quirchmayr; Manuel Vázqez (DEXA, 1993)