Matthias Baaz, Fernando Galindo, Gerald Quirchmayr, Manuel Vázqez. The Application of Kripke-Type Structures to Regional Development Programs. In Vladimír Marík, Jirí Lazanský, Roland Wagner, editors, Database and Expert Systems Applications, 4th International Conference, DEXA 93, Prague, Czech Republic, September 6-8, 1993, Proceedings. Volume 720 of Lecture Notes in Computer Science, pages 523-528, Springer, 1993.
Abstract is missing.