Proving Matijasevich's Lemma with a Default Arithmetic Strategy.

Matthew Wilding Proving Matijasevich's Lemma with a Default Arithmetic Strategy. 439-446 1991 7 J. Autom. Reasoning 3 db/journals/jar/jar7.html#Wilding91