@article{parrello:jar86,
	title = {Job-Shop Scheduling Using Automated Reasoning: {A} Case Study of the Car-Sequencing Problem},
	author = {Bruce D. Parrello and Waldo C. Kabat and L. Wos},
	journal = {Journal of Automated Reasoning},
	pages = {1--42},
	volume = {2},
	year = {1986},
	biburl = {http://www.bibsonomy.org/bibtex/24580f893a3c32517cafc5b49c689930e/idsia},
	priority = {2}, citeulike-article-id = {2378504},
	keywords = {nn }
}