Fangzhen Lin: A study of nonmonotonic reasoning. Stanford University, USA 1991