Frontiers of Combining Systems 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002. Proceedings - Armando, Alessandro; Armando, Alessandro (Springer Berlin Heidelberg : Imprint: Springer, 2002)