Email Record: Computational issues of nonmonotonic reasoning /