This paper presents a major revision of the Either propositional theory re nement system. Two issues are discussed. First, we show howrun timee ciency can be greatlyimproved by ch...
The first electronic Economics preprint appeared in 1993. Since then the growth has been dramatic as the use of the World Wide Web has exploded. RePEc has been instrumental in fa...
We argue that, despite a substantial number of proposed and existing new database systems, a suitable database system for software development environments and especially process-c...
In 1989, and again in 1993, panels of database researchers were surveyed about which research areas they considered promising. In both cases, the area of user interfaces was chose...