@TechReport{Pfc_Users_Manual,
	author = "Tim Finin",
	title = "{Pfc Users Manual}",
	month = "August",
	year = "1999",
	organization = "UMBC",
	note = "Code is available on <a href="https://github.com/finin/pfc">GitHub</a>.

It was originally written circa 1988 at the <a href="https://en.wikipedia.org/wiki/Paoli_Research_Center">Unisys Paoli Research Center</a>. For more information, see
<ul>
<li> Tim Finin, Rich Fritzson and Dave Matuszek, <a href="http://ebiq.org/p/682">Adding Forward Chaining and Truth Maintenance to Prolog</a>, IEEE Conf. on Artificial Intelligence Applications, pp. 123-130, Miami, March 1989.</li>

<li>Tim Finin, Pfc User Manual, Technical Report, Computer Science and Electrical Engineering, University of Maryland, Baltimore County, August 1999.</li>

<li>or contact Tim Finin, finin@umbc.edu</li>
</ul>
If you use Pfc in your research, please cite the 1989 IEEE CAIA paper.",
}