master.bib

@article{hart1968formal,
	author = "Peter E. Hart and Nils J. Nilsson and Bertram Raphael",
	title = "A Formal Basis for the Heuristic Determination of Minimum Cost Paths",
	journal = "IEEE Transactions on Systems Science and Cybernetics",
	year = "1968",
	volume = "SSC-4",
	number = "2",
	pages = "100--107",
	month = "July",
}