@string{CSL2004 = {18th International Workshop {CSL} 2004}}
@string{LNCS = {Lecture Notes in Computer Science}}

@Proceedings{csl04,
   title = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Atserias:CSL04,
   author = {Albert Atserias},
   title = {Notions of Average-Case Complexity for Random {3-SAT}},
   pages = {1--5},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Hyland:CSL04,
   author = {Martin Hyland},
   title = {Abstract Interpretation of Proofs: Classical Propositional
            Calculus},
   pages = {6--21},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{McMillan:CSL04,
   author = {Ken McMillan},
   title = {Applications of Craig Interpolation to Model Checking},
   pages = {22--23},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Miller:CSL04,
   author = {Dale Miller},
   title = {Bindings, Mobility of Bindings, and the $\nabla$-quantifier},
   pages = {24},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Urzyczyn:CSL04,
   author = {Pawe{\l} Urzyczyn},
   title = {My (Un)Favourite Things},
   pages = {25},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{CMJ:CSL04,
   author = {Krishnendu Chatterjee and Rupak Majumdar and
             Marcin Jurdzi\'nski},
   title = {On Nash Equilibria in Stochastic Games},
   pages = {26--40},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Bojanczyk:CSL04,
   author = {Miko{\l}aj Boja\'nczyk},
   title = {A Bounding Quantifier},
   pages = {41--55},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Gimbert:CSL04,
   author = {Hugo Gimbert},
   title = {Parity and Exploration Games on Infinite Graphs},
   pages = {56--70},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{GK:CSL04,
   author = {Harald Ganzinger and Konstantin Korovin},
   title = {Integrating Equational Reasoning into Instantiation-based
            Theorem Proving},
   pages = {71--84},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{MOG:CSL04,
   author = {George Metcalfe and Nicola Olivetti and Dov Gabbay},
   title = {Goal-Directed Methods for {{\L}ukasiewicz} Logic},
   pages = {85--99},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{DG:CSL04,
   author = {Jeremy E. Dawson and Rajeev Gor\'e},
   title = {A General Theorem on Termination of Rewriting},
   pages = {100--114},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Hyvernat:CSL04,
   author = {Pierre Hyvernat},
   title = {Predicate Transformers and Linear Logic: yet another
            Denotational Model},
   pages = {115--129},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Gianantonio:CSL04,
   author = {Pietro {Di Gianantonio}},
   title = {Structures for Multiplicative Cyclic Linear Logic:
            Deepness vs Cyclicity},
   pages = {130--144},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{SL:CSL04,
   author = {Lutz Stra{\ss}burger and Fran\c{c}ois Lamarche},
   title = {On Proof Nets for Multiplicative Linear Logic with Units},
   pages = {145--159},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{IRRSY:CSL04,
   author = {Neil Immerman and Alex Rabinovich and Tom Reps and
             Mooly Sagiv and Greta Yorsh},
   title = {The Boundary Between Decidability and Undecidability for
            Transitive-Closure Logics},
   pages = {160--174},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{ABL:CSL04,
   author = {Marcelo Arenas and Pablo Barcel\'o and Leonid Libkin},
   title = {Game-based Notions of Locality over Finite Models},
   pages = {175--189},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{AM:CSL04,
   author = {Andreas Abel and Ralph Matthes},
   title = {Fixed Points of Type Constructors and Primitive Recursion},
   pages = {190--204},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Schubert:CSL04,
   author = {Aleksy Schubert},
   title = {On the Building of Affine Retractions},
   pages = {205--219},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{GS:CSL04,
   author = {Philippe de Groote and Sylvain Salvati},
   title = {Higher-order Matching in the Linear Lambda Calculus with Pairing},
   pages = {220--234},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{SS:CSL04,
   author = {Ulrich Sch\"opp and Ian Stark},
   title = {A Dependent Type Theory with Names and Binding},
   pages = {235--249},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Weber:CSL04,
   author = {Tjark Weber},
   title = {Towards Mechanized Program Verification with Separation Logic},
   pages = {250--264},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{ACDJ:CSL04,
   author = {Roberto M. Amadio and Solange Coupet-Grimal and
             Silvano {Dal Zilio} and Line Jakubiec},
   title = {A Functional Scenario for Bytecode Verification of
            Resource Bounds},
   pages = {265--279},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{GM:CSL04,
   author = {Roberto Giacobazzi and Isabella Mastroeni},
   title = {Proving Abstract Non-Interference},
   pages = {280--294},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Maier:CSL04,
   author = {Patrick Maier},
   title = {Intuitionistic {LTL} and a New Characterization of
            Safety and Liveness},
   pages = {295--309},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Rohde:CSL04,
   author = {Philipp Rohde},
   title = {Moving in a Crumbling Network: The Balanced Case},
   pages = {310--324},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{EK:CSL04,
   author = {E. Allen Emerson and Vineet Kahlon},
   title = {Parameterized Model Checking of Ring-based Message
            Passing Systems},
   pages = {325--339},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Skelley:CSL04,
   author = {Alan Skelley},
   title = {A Third-Order Bounded Arithmetic Theory for {PSPACE}},
   pages = {340--354},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{CFL:CSL04,
   author = {Andr\'es Cord\'on-Franco and Alejandro Fern\'andez-Margarit
           and F. F\'elix Lara-Mart{\'\i}n},
   title = {Provably Total Primitive Recursive Functions: Theories
            with Induction},
   pages = {355--369},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Richerby:CSL04,
   author = {David Richerby},
   title = {Logical Characterizations of {PSPACE}},
   pages = {370--384},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Schroeder:CSL04,
   author = {Lutz Schr\"oder},
   title = {The Logic of the Partial $\lambda$-Calculus With Equality},
   pages = {385--399},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{GLNZ:CSL04,
   author = {Jean Goubault-Larrecq and S{\l}awomir Lasota and
             David Nowak and Yu Zhang},
   title = {Complete Lax Logical Relations for Cryptographic
            Lambda-Calculi},
   pages = {400--414},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Vouillon:CSL04,
   author = {J\'er\^{o}me Vouillon},
   title = {Subtyping Union Types},
   pages = {415--429},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{KV:CSL04,
   author = {Margarita Korovina and Nicolai Vorobjov},
   title = {Pfaffian Hybrid Systems},
   pages = {430--441},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Kameyama:CSL04,
   author = {Yukiyoshi Kameyama},
   title = {Axioms for Delimited Continuations in the {CPS} Hierarchy},
   pages = {442--457},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{RT:CSL04,
   author = {Pawe{\l} Rychlikowski and Tomasz Truderung},
   title = {Set Constraints on Regular Terms},
   pages = {458--472},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Lynch:CSL04,
   author = {Christopher Lynch},
   title = {Unsound Theorem Proving},
   pages = {473--487},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{AFFM:CSL04,
   author = {Alessandro Avellone and Camillo Fiorentini and
             Guido Fiorino and Ugo Moscato},
   title = {A Space Efficent Implementation of a Tableau Calculus
            for a Logic with a Constructive Negation},
   pages = {488--502},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}

@InProceedings{Ciabattoni:CSL04,
   author = {Agata Ciabattoni},
   title = {Automated Generation of Analytic Calculi for Logics
            with Linearity},
   pages = {503--517},
   booktitle = CSL2004,
   month = {September},
   year = {2004},
   editor = {Jerzy Marcinkowski and Andrzej Tarlecki},
   volume = {3210},
   series = LNCS,
   publisher = {Springer-Verlag}
}