You are about to access our book library "Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings full version" .