You are about to access our book library "Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings (Lecture Notes in Computer Science, 533) full version" .