@article{Cheval-Cortier-Delaune/13,
AUTHOR = {Cheval, Vincent and Cortier, V{\'e}ronique and Delaune, St{\'e}phanie},
TITLE = {Deciding equivalence-based properties using constraint solving},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {492},
PAGES = {1-39},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {security protocols, formal verification, applied-pi calculus, behavioral equivalences, constraint systems},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513003009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kamide/13,
AUTHOR = {Kamide, Norihiro},
TITLE = {Temporal BI: Proof system, semantics and translations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {492},
PAGES = {40-69},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {bi, temporal logic, completeness, decidability, translation},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751300337X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Kullmann-Zhao/13,
AUTHOR = {Kullmann, Oliver and Zhao, Xishun},
TITLE = {On Davis-Putnam reductions for minimally unsatisfiable clause-sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {492},
PAGES = {70-87},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {clause-sets (cnfs), minimal unsatisfiability, dp-reduction (davis-putnam reduction), variable elimination, confluence, isomorphism, singular variables, singular dp-reduction, deficiency},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513003174},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Colazzo-Ghelli-Pardini-Sartiani/13,
AUTHOR = {Colazzo, D. and Ghelli, G. and Pardini, L. and Sartiani, C.},
TITLE = {Efficient asymmetric inclusion of regular expressions with interleaving and counting for xml type-checking},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {492},
PAGES = {88-116},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {xml, regular expressions, subtyping, xml schema},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513003319},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_Breugel-Hermida-Makkai-Worrell/13,
AUTHOR = {van Breugel, Franck and Hermida, Claudio and Makkai, Michael and Worrell, James},
TITLE = {Addendum to ``Recursively defined metric spaces without contraction''},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {492},
PAGES = {117-122},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {kantorovich functor, mean-value algebra, metric matching lemma},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751300340X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
NOTE = {Originally in Theor.~Comput.~Sci., Vol. 380, 2007, No. 1-2, 143-163},
}