@inproceedings{nayak:aaai97,
	title = {Fast Context Switching in Real-Time Propositional Reasoning},
	author = {Pandurang P. Nayak and Brian C. Williams},
	booktitle = {{P}roceedings of the 14th National Conference on Artificial Intelligence},
	key = {AAAI},
	publisher = {Menlo Park, CA: AAAI Press},
	url = {http://www.mpi-sb.mpg.de/services/library/proceedings/contents/aaai97\_iaai97.html},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2f10786ba16423c79600747afc4c8774a/idsia},
	priority = {2}, citeulike-article-id = {2378322},
	keywords = {nn }
}