By Benjamin N. Grosof . IBM Research Report RC 20836. Held Port Jefferson, NY, USA, Oct. 12-17, 1997. Held Timberline, OR, USA, June 10-12, 1996. The theorem statement needs some additional restricting conditions.
Details are in a forthcoming version of the paper.
By Benjamin N. Grosof . IBM Research Report RC 21472. Submitted for publication. By Benjamin N. Grosof . This describes the version of courteous logic programs implemented in the IBM CommonRules 1.0 alpha prototype release available free on AlphaWorks .