@article{Kozen/98,
AUTHOR = {Kozen, Dexter},
TITLE = {Set constraints and logic programming},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {1},
PAGES = {2-25},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Michaylov/98,
AUTHOR = {Michaylov, Spiro},
TITLE = {Repeated redundant inequalities in constraint logic programming},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {1},
PAGES = {26-39},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Charatonik/98a,
AUTHOR = {Charatonik, Witold},
TITLE = {Set constraints in some equational theories},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {1},
PAGES = {40-75},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Backofen-Treinen/98,
AUTHOR = {Backofen, Rolf and Treinen, Ralf},
TITLE = {How to win a game with features},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {1},
PAGES = {76-101},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lynch/98,
AUTHOR = {Lynch, Christopher},
TITLE = {Local simplification},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {1},
PAGES = {102-126},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Geffert/98,
AUTHOR = {Geffert, Viliam},
TITLE = {Bridging across the $\log(n)$ space frontier},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {2},
PAGES = {127-158},
YEAR = {1998},
KEYWORDS = {Turing machines, structural complexity, space complexity},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Thorup/98b,
AUTHOR = {Thorup, Mikkel},
TITLE = {All structured programs have small tree width and good register allocation},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {2},
PAGES = {159-181},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bruggemann-Klein-Wood/98a,
AUTHOR = {Br{\"u}ggemann-Klein, Anne and Wood, Derick},
TITLE = {One-unambiguous regular languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {2},
PAGES = {182-206},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Veith/98a,
AUTHOR = {Veith, Helmut},
TITLE = {Succinct representation, leaf languages, and projection reductions},
JOURNAL = {Inf.~Comput.},
VOLUME = {142},
NUMBER = {2},
PAGES = {207-236},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}