@InProceedings{Adding_forward_chaining_and_truth_maintenance_to_Prolog,
	author = "Tim Finin, Richard Fritzson, and David Matuszek",
	title = "{Adding forward chaining and truth maintenance to Prolog}",
	month = "March",
	year = "1989",
	note = "DOI: <a href="https://doi.org/10.1109/CAIA.1989.49145">10.1109/CAIA.1989.49145</a>
<br/>
Code is available on <a href="https://github.com/finin/pfc">GitHub</a> as well as a <a href="https://github.com/finin/pfc/blob/master/man/pfc.pdf">users manual</a>.",
	pages = "123-130",
	booktitle = "Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications",
	publisher = "IEEE",
}