“PRS-CL: A ProceduralReasoningSystem”. SRI International. 2012年7月15日閲覧。 ^ “SRI Technology At Core of New U.S. Postal Service Letter Sorting System”. (1997年9月3日)
Rulifson, Jan Derksen, and Richard Waldinger. QA4, A Procedural Calculus for Intuitive Reasoning SRI AI Center Technical Note 73, November 1973. Robert
Understanding Natural Language MIT AI TR-235. January 1971. Carl Hewitt. Procedural Embedding of Knowledge In Planner IJCAI 1971. G.M. Birtwistle, Ole-Johan