1. New programming languages for artificial intelligence research;Bobrow;ACM Computing Surveys,1974
2. Negation as failure;Clark,1978
3. AMORD, explicit control of reasoning;de Kleer,1977
4. NML3 – a non-monotonic logic with explicit defaults;Doherty;Journal of Applied Non-Classical Logics,1992
5. Jon Doyle, The luxury of eccentricity, Unpublished memoir drafted August 3, 2000 and revised in 2002, 2004.