@inproceedings{0cf146a6728644199d1e16e0f13bc30f,
title = "Analysis of heuristic search models",
keywords = "Automated reasoning, Heuristic search",
author = "Thomas Sudkamp and Robert Shanahan",
note = "Publisher Copyright: {\textcopyright} 1987 ACM.; 15th Annual Conference on Computer Science, CSC 1987 ; Conference date: 16-02-1987 Through 19-02-1987",
year = "1987",
month = feb,
day = "1",
language = "English",
series = "Proceedings of the 15th Annual Conference on Computer Science, CSC 1987",
publisher = "Association for Computing Machinery, Inc",
pages = "7--15",
booktitle = "Proceedings of the 15th Annual Conference on Computer Science, CSC 1987",
}