@article{Ganzinger/91a,
AUTHOR = {Ganzinger, Harald},
TITLE = {Order-sorted completion: the many-sorted way},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {3-32},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Habel-Kreowski-Vogler/91,
AUTHOR = {Habel, Annegret and Kreowski, Hans-J{\"o}rg and Vogler, Walter},
TITLE = {Decidable boundedness problems for sets of graphs generated by hyperedge-replacement},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {33-62},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Hanus/91,
AUTHOR = {Hanus, Michael},
TITLE = {Horn clause programs with polymorphic types: semantics and resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {63-106},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Harper-Pollack/91,
AUTHOR = {Harper, Robert and Pollack, Robert},
TITLE = {Type checking with universes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {107-136},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Pfenning-Lee/91,
AUTHOR = {Pfenning, Frank and Lee, Peter},
TITLE = {Metacircularity in the polymorphic $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {137-159},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Stirling-Walker/91,
AUTHOR = {Stirling, Colin and Walker, David},
TITLE = {Local model checking in the modal mu-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {161-177},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Vissers-Scollo-Sinderen-Brinksma/91,
AUTHOR = {Vissers, Chris A. and Scollo, Giuseppe and Sinderen, Marten Van and Brinksma, Ed},
TITLE = {Specification styles in distributed systems design and versification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {179-206},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}
@article{Krob/91,
AUTHOR = {Krob, D.},
TITLE = {Complete systems of ${\cal B}$-rational identities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {89},
PAGES = {207-343},
YEAR = {1991},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ORGANIZATION = {EATCS},
}