@article{Nieuwenhuis/98,
AUTHOR = {Nieuwenhuis, Robert},
TITLE = {Decidability and complexity analysis by basic paramodulation},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {1},
PAGES = {1-21},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Cabibbo/98,
AUTHOR = {Cabibbo, Luca},
TITLE = {The expressive power of stratified logic programs with value invention},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {1},
PAGES = {22-56},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Benedikt-Griffin-Libkin/98,
AUTHOR = {Benedikt, Michael and Griffin, Timothy and Libkin, Leonid},
TITLE = {Verifiable properties of database transactions},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {1},
PAGES = {57-88},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bshouty-Goldman-Mathias/98,
AUTHOR = {Bshouty, Nader H. and Goldman, Sally A. and Mathias, H. David},
TITLE = {Noise-tolerant parallel learning of geometric concepts},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {1},
PAGES = {89-110},
YEAR = {1998},
KEYWORDS = {computational learning theory, geometric concepts, parallel computation},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Maneth/98,
AUTHOR = {Maneth, Sebastian},
TITLE = {The generating power of total deterministic tree transducers},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {2},
PAGES = {111-144},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Lautemann-Schwentick-Stewart/98,
AUTHOR = {Lautemann, C. and Schwentick, T. and Stewart, I.A.},
TITLE = {Positive versions of polynomial time},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {2},
PAGES = {145-170},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Bonacina-Hsiang/98,
AUTHOR = {Bonacina, Maria Paola and Hsiang, Jieh},
TITLE = {On the modelling of search in theorem proving---Towards a theory of strategy analysis},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {2},
PAGES = {171-208},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Ponzio/98,
AUTHOR = {Ponzio, Stephen},
TITLE = {The combinatorics of effective resistances and resistive inverses},
JOURNAL = {Inf.~Comput.},
VOLUME = {147},
NUMBER = {2},
PAGES = {209-223},
YEAR = {1998},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}