You are about to access our book library "Relational Methods in Computer Science: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The ... (Lecture Notes in Computer Science, 2561) full version" .