@article{Maddux/96,
AUTHOR = {Maddux, Roger D.},
TITLE = {Relation-algebraic semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {1-85},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Courcelle/96,
AUTHOR = {Courcelle, Bruno},
TITLE = {The monadic second-order logic of graphs X: Linear orderings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {87-143},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Tronci/96,
AUTHOR = {Tronci, Enrico},
TITLE = {Equational programming in $\lambda$-calculus via SL-systems: Part 1},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {145-184},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Tronci/96a,
AUTHOR = {Tronci, Enrico},
TITLE = {Equational programming in $\lambda$-calculus via SL-systems: Part 2},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {185-216},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Tuijn-Gyssens/96,
AUTHOR = {Tuijn, Chris and Gyssens, Marc},
TITLE = {CGOOD, a categorical graph-oriented object data model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {217-239},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Baaz-Leitsch-Zach/96,
AUTHOR = {Baaz, Matthias and Leitsch, Alexander and Zach, Richard},
TITLE = {Completeness of a first-order temporal logic with time-gaps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {241-270},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kaminski-Wong/96,
AUTHOR = {Kaminski, Michael and Wong, Chung Kei},
TITLE = {The power of the "always" operator in first-order temporal logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {271-281},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Yamasaki/96,
AUTHOR = {Yamasaki, Susumu},
TITLE = {SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {283-303},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand-Ranaivoson/96,
AUTHOR = {Durand, Arnaud and Ranaivoson, Solomampionona},
TITLE = {First-order spectra with one binary predicate},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {305-320},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bonatti-Eiter/96,
AUTHOR = {Bonatti, Piero A. and Eiter, Thomas},
TITLE = {Querying disjunctive databases through nonmonotonic logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {321-363},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Marriott-Odersky/96,
AUTHOR = {Marriott, Kim and Odersky, Martin},
TITLE = {Negative Boolean constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {160},
NUMBER = {1-2},
PAGES = {365-380},
YEAR = {1996},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}