Domenico Aquilino, Patrizia Asirelli, Paola Inverardi. Gedblog: a Multi-Theories Deductive Environment to Specify Graphical Interfaces. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2. pages 440-441, 1994.
Abstract is missing.