@article{Gramlich/12,
AUTHOR = {Gramlich, Bernhard},
TITLE = {Modularity in term rewriting revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {464},
PAGES = {3-19},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {term rewriting, termination, confluence, modularity},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512008286},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Jouannaud-Liu/12,
AUTHOR = {Jouannaud, Jean-Pierre and Liu, Jiaxiang},
TITLE = {From diagrammatic confluence to modularity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {464},
PAGES = {20-34},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {rewriting modulo, confluence, local peaks, local cliffs, decreasing diagrams, cofinal derivations, modularity},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512008067},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dershowitz/12,
AUTHOR = {Dershowitz, Nachum},
TITLE = {Jumping and escaping: Modular termination and the abstract path ordering},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {464},
PAGES = {35-47},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {termination, commutation, path orderings, well-founded orderings},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512008638},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Endrullis-Hendriks-Klop/12,
AUTHOR = {Endrullis, J{\"o}rg and Hendriks, Dimitri and Klop, Jan Willem},
TITLE = {Highlights in infinitary rewriting and lambda calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {464},
PAGES = {48-71},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S030439751200792X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Nagashima-Sakai-Sakabe/12,
AUTHOR = {Nagashima, Masanori and Sakai, Masahiko and Sakabe, Toshiki},
TITLE = {Determinization of conditional term rewriting systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {464},
PAGES = {72-89},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {deterministic conditional term rewriting system, functional program, rule-based transformation},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512008250},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Futatsugi-Gaina-Ogata/12,
AUTHOR = {Futatsugi, Kokichi and G{\v{a}}in{\v{a}}, Daniel and Ogata, Kazuhiro},
TITLE = {Principles of proof scores in CafeOBJ},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {464},
PAGES = {90-112},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {algebraic specifications, theorem proving, term rewriting, proof scores, cafeobj},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512007918},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dezani-Ciancaglini-Horne-Sassone/12,
AUTHOR = {Dezani-Ciancaglini, Mariangiola and Horne, Ross and Sassone, Vladimiro},
TITLE = {Tracing where and who provenance in Linked Data: A calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {464},
PAGES = {113-129},
YEAR = {2012},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {operational semantics, type systems, linked data},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397512006020},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}