@article{Duggan/98,
AUTHOR = {Duggan, Dominic},
TITLE = {Unification with extended patterns},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {1-50},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Etalle/98,
AUTHOR = {Etalle, Sandro},
TITLE = {A semantics for modular general logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {51-80},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Bensaou-Guessarian/98,
AUTHOR = {Bensaou, N. and Guessarian, I.},
TITLE = {Transforming constraint logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {81-125},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Liu-Walker/98,
AUTHOR = {Liu, Xinxin and Walker, David},
TITLE = {Partial confluence of processes and systems of objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {127-162},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Dehornoy-Marzouk/98,
AUTHOR = {Dehornoy, Patrick and Marzouk, Abderrahim},
TITLE = {Theorem proving by chain resolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {163-180},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Eiter-Leone-Sacca/98,
AUTHOR = {Eiter, Thomas and Leone, Nicola and Sacc{\'{a}}, Domenico},
TITLE = {Expressive power and complexity of partial models for disjunctive deductive databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {181-218},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Priese-Wimmel/98,
AUTHOR = {Priese, Lutz and Wimmel, Harro},
TITLE = {A uniform approach to true-concurrency and interleaving semantics for Petri nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {219-256},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Yamasaki-Kurose/98,
AUTHOR = {Yamasaki, Susumu and Kurose, Yoshinori},
TITLE = {Soundness of abductive proof procedure with respect to constraint for non-ground abducibles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {257-281},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Levene-Loizou/98,
AUTHOR = {Levene, Mark and Loizou, George},
TITLE = {Axiomatisation of functional dependencies in incomplete relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {283-300},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Colson-Fredholm/98,
AUTHOR = {Colson, Lo{\"i}c and Fredholm, Daniel},
TITLE = {System T, call-by-value and the minimum problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {301-315},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Loader/98,
AUTHOR = {Loader, Ralph},
TITLE = {Unary PCF is decidable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {317-329},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Hirokawa/98,
AUTHOR = {Hirokawa, Sachio},
TITLE = {Infiniteness of proof $(\alpha)$ is polynomial-space complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {331-339},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}
@article{Lamport/98a,
AUTHOR = {Lamport, Leslie},
TITLE = {Proving possibility properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {206},
NUMBER = {1-2},
PAGES = {341-352},
YEAR = {1998},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-Lausanne-New York-Oxford-Shannon-Tokyo},
}