@article{Ramakrishna-Melliar-Smith-Moser-Dillon-Kutty/96,
AUTHOR = {Ramakrishna, Y.S. and Melliar-Smith, P.M. and Moser, L.E. and Dillon, L.K. and Kutty, G.},
TITLE = {Interval logics and their decision procedures --- Part I: An interval logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {1-47},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Park/96b,
AUTHOR = {Park, Uchang},
TITLE = {An algebraic formulation of the aggregative closure query},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {49-62},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Shen-Tian/96,
AUTHOR = {Shen, Enshao and Tian, Qijia},
TITLE = {Monadic partition logics and finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {63-81},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hoofman/96,
AUTHOR = {Hoofman, R.},
TITLE = {Comparing models of the intensional typed $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {83-99},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Etalle-Gabbrielli/96,
AUTHOR = {Etalle, Sandro and Gabbrielli, Maurizio},
TITLE = {Transformations of CLP modules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {101-146},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fouks-Spehner/96,
AUTHOR = {Fouks, Jean-Denis and Spehner, Jean-Claude},
TITLE = {Meta-resolution: An algorithmic formalisation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {147-172},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Demri-Orlowska/96,
AUTHOR = {Demri, St{\'{e}}phane and Or{\l}owska, Ewa},
TITLE = {Logical analysis of demonic nondeterministic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {173-202},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Zhang/96g,
AUTHOR = {Zhang, Guo-Qiang},
TITLE = {The largest cartesian closed category of stable domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {203-219},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gottlob-Marcus-Nerode-Salzer-Subrahmanian/96,
AUTHOR = {Gottlob, Georg and Marcus, Sherry and Nerode, Anil and Salzer, Gernot and Subrahmanian, V.S.},
TITLE = {A non-ground realization of the stable and well-founded semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {221-262},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Meinke/96,
AUTHOR = {Meinke, Karl},
TITLE = {Topoligical methods for algebraic specification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {263-290},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Degtyarev-Voronkov/96a,
AUTHOR = {Degtyarev, Anatoli and Voronkov, Andrei},
TITLE = {The undecidability of simultaneous rigid $E$-unification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {166},
NUMBER = {1-2},
PAGES = {291-300},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}