@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 = "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",
}