@article{Mayr-Nipkow/98,
AUTHOR = {Mayr, Richard and Nipkow, Tobias},
TITLE = {Higher-order rewrite systems and their confluence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {1},
PAGES = {3-29},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Marchiori/98,
AUTHOR = {Marchiori, Massimo},
TITLE = {Bubbles in modularity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {1},
PAGES = {31-54},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Senizergues/98b,
AUTHOR = {S{\'{e}}nizergues, G{\'{e}}raud},
TITLE = {A polynomial algorithm testing partial confluence of basic semi-Thue systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {1},
PAGES = {55-75},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Anantharaman-Richard/98,
AUTHOR = {Anantharaman, Siva and Richard, Gilles},
TITLE = {A rewrite mechanism for logic programs with negation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {1},
PAGES = {77-106},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Baader-Schulz/98,
AUTHOR = {Baader, Franz and Schulz, Klaus U.},
TITLE = {Combination of constraint solvers for free and quasi-free structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {1},
PAGES = {107-161},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Busi-Gorrieri-Zavattaro/98,
AUTHOR = {Busi, Nadia and Gorrieri, Roberto and Zavattaro, Gianluigi},
TITLE = {A process algebraic view of Linda coordination primitives},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {2},
PAGES = {167-199},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dami/98,
AUTHOR = {Dami, Laurent},
TITLE = {A lambda-calculus for dynamic binding},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {2},
PAGES = {201-231},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hankin-Metayer-Sands/98,
AUTHOR = {Hankin, Chris and M{\'{e}}tayer, Daniel le and Sands, David},
TITLE = {Refining multiset transformers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {2},
PAGES = {233-258},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Monteiro-Porto/98,
AUTHOR = {Monteiro, Lu{\'{i}}s and Porto, Ant{\'{o}}nio},
TITLE = {Entailment-based actions for coordination},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {2},
PAGES = {259-286},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Mukherji-Kafura/98,
AUTHOR = {Mukherji, Manibrata and Kafura, Dennis},
TITLE = {A process-calculus-based abstraction for coordinating multi-agent groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {2},
PAGES = {287-314},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Wegner/98,
AUTHOR = {Wegner, Peter},
TITLE = {Interactive foundations of computing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {192},
NUMBER = {2},
PAGES = {315-351},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}