abridged version (1997)

by Contr
Venue:in the Proceedings of the ECC’97, Bruxelles