@article{Dung/92,
AUTHOR = {Dung, Phan Minh},
TITLE = {On the relations between stable and well-founded semantics of logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {7-25},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Kanchanasut-Stuckey/92,
AUTHOR = {Kanchanasut, Kanchana and Stuckey, Peter J.},
TITLE = {Transforming normal logic programs to constraint logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {27-56},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Sato/92,
AUTHOR = {Sato, Taisuke},
TITLE = {Equivalence-preserving first-order unfold/fold transformation systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {57-84},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Gabbrielli-Levi/92,
AUTHOR = {Gabbrielli, Maurizio and Levi, Giorgio},
TITLE = {Unfolding and fixpoint semantics of concurrent constraint logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {85-128},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Hofbauer/92,
AUTHOR = {Hofbauer, Dieter},
TITLE = {Termination proofs by multiset path orderings imply primitive recursive derivation lengths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {129-140},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Debart-Enjalbert-Lescot/92,
AUTHOR = {Debart, Fran{\c{c}}oise and Enjalbert, Patrice and Lescot, Madeleine},
TITLE = {Multimodal logic programming using equational and order-sorted logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {141-166},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Mason-Talcott/92,
AUTHOR = {Mason, Ian and Talcott, Carolyn},
TITLE = {Inferring the equivalence of functional programs that mutate data},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {167-215},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Goguen-Meseguer/92,
AUTHOR = {Goguen, Joseph A. and Meseguer, Jos{\'e}},
TITLE = {Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {217-273},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}
@article{Zhang/92j,
AUTHOR = {Zhang, Ming-Hua},
TITLE = {Data types with errors and exceptions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {105},
PAGES = {275-299},
YEAR = {1992},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Tokyo},
}