T. Finin, "Pfc Users Manual", TechReport, August 1999, 486 downloads.
1989
T. Finin, R. Fritzson, and D. Matuszek, "Adding forward chaining and truth maintenance to Prolog", InProceedings, Proceedings of the Fifth IEEE Conference on Artificial Intelligence Applications, March 1989, 1911 downloads.
UMBC ebiquity