Comparing expressiveness of set constructor symbols

Agostino Dovier, Carla Piazza, Alberto Policriti. Comparing expressiveness of set constructor symbols. In Maria Chiara Meo, Manuel Vilares Ferro, editors, 1999 Joint Conference on Declarative Programming, AGP 99, L Aquila, Italy, September 6-9, 1999. pages 151-166, 1999.

Abstract

Abstract is missing.