A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, Septem- ber 25-29, 2006, Proceedings, volume 4207 of Lecture Notes in Computer Sci- ... Selected Papers of the Conference "Computer Science Logic 2006", number 4 in LMCS, 2006.  ZoltánÉsik, editor. ...doi:10.14232/actacyb.23.1.2017.23 fatcat:tpgf7t2sgfdsriwvebwyce3lr4