@string{JSYML = "Journal of Symbolic Logic"}
@string{THEC5 = "Theoretical Computer Science"}
@string{LNCS = {Lecture Notes in Computer Science}}
@string{LNMATH = {Lecture Notes in Mathematics}}
@string{PHITRA = "Philosophical Transactions of the Royal Society of
London. Series A"}
@string{REPPP = "Reports on Progress in Physics"}
@string{RAIIT1 = "RAIRO Informatique Th\'eorique"}
@string{iandc={Information and Control}}

@Article{BraunmuhlCV83,
title={The Recognition of Deterministic {CFL}'s in Small Time and
Space},
author={Burchard von Braunm{\"u}hl and Stephen Cook and Kurt Mehlhorn
and Rutger Verbeek},
pages={34--51},
journal=iandc,
month=jan # "/" # feb,
year=1983,
volume=56,
number={1/2}
}

@InProceedings{CantoneCP90,
author={D. Cantone and V. Cutello and A. Policrito},
title={Set-theoretic reductions of {Hilbert's} {Tenth} {Problem}},
pages={65--75},
booktitle={CSL '89: 3rd Workshop on Computer Science Logic},
editor={E. B{\"o}rger and H. Kleine B{\"u}ning and M. M. Richter},
publisher={Springer-Verlag},
series=lncs,
year=1990,
volume=440
}

@Article{Adamowicz92,
title={A sharp version of the bounded {Matijasevich} conjecture and
the end-extension problem},
author={Zofia Adamowicz},
journal=jsyml,
volume=57,
number=2,
pages={597--616},
year=1992,
month=jun
}

@InProceedings{AdlemanMa76,
title={Diophantine complexity},
author={Leonard Adleman and Kenneth Manders},
crossref={FOCS17},
pages={81--88}
}

@Article{AlloucheSh92,
title={The ring of $k$-regular sequences},
author={Jean-Paul Allouche and Jeffrey Shallit},
journal=THEC5,
volume=98,
number=2,
pages={163-197},
year=1992,
month=may,
comment=NEW1
}

@InProceedings{Azra71,
author={{Jean-Pierre} Azra},
title={Relations {Diophantiennes} et la solution n\'egative du 10e
probl\`eme de {Hilbert}},
booktitle={S\'eminaire Bourbaki---vol. 1970/71.  Expos\'es 382--399},
series=lnmath,
publisher={Springer-Verlag},
volume=244,
pages={11-28},
year=1971,
language=french
}

@Article{CaludeP83,
title={Independent Instances for Some Undecidable Problems},
author={Cristian Calude and Gheorghe P{\u{a}}un},
journal=raiit1,
year=1983,
volume=17,
number=1,
pages={49-54}
}

@Article{Baker68,
title={Contributions to the theory of {Diophantine} equations {I}. {On}
the representation of integers by binary forms},
author={A. Baker},
year=1968,
journal=phitra,
volume=263,
number=1139,
pages={173-191}
}

@Article{BartonFi72a,
title={Applications of algebraic manipulation programs in physics},
author={D. Barton and J. P. Fitch},
journal=reppp,
year=1972,
volume=35,
number=3,
pages={235-314}
}

@Proceedings{FOCS17,
title={$17^{\it th}$ Annual Symposium on Foundations of Computer
Science},
booktitle={$17^{\it th}$ Annual Symposium on Foundations of Computer
Science},
year=1976,
address={Houston, Texas},
month={25--26 } # oct,
organization={IEEE},
crossrefonly=1
}