Text this: Computational issues of nonmonotonic reasoning /