@article{gurevich1982the,
author = {Gurevich, Yuri and Lewis, H. R.},
title = {The Inference Problem for Template Dependencies},
year = {1982},
month = {August},
abstract = {Answering a question of Jeffrey Ullman, we prove that the problem in the title is shown to be undecidable.},
url = {http://approjects.co.za/?big=en-us/research/publication/inference-problem-template-dependencies/},
pages = {69-79},
journal = {Information and Control},
volume = {55},
}