Volume 190, Number 1, 10 January 1998 21st Colloquium on Trees in Algebra and Programming (CAAP '96)
, 22-26 April 1996, Linköping, Sweden
: Axiomatising Extended Computation Tree Logic.
: Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.
Volume 190, Number 2, 20 January 1998 5th International Conference on Database Theory
, January 1995, Prague, Czech Republic
: Domain-Independent Queries on Databases with External Functions.
: The Kolmogorov Expressive Power of Boolean Query Languages.