@misc{stanford_encyc06:autom_reason,
	title = {Automated Reasoning},
	author = { {Stanford Encyclopedia of Philosophy}},
	howpublished = {\url{http://plato.stanford.edu/entries/reasoning-automated}/},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2cea490fa69f8cce61d34f377c20d949f/thau},
	keywords = {kr logic }
}