Authors: S.Subramanian

Citation: S.subramanian, Commonsense and Nonmonotonic Reasoning: Mechanical Verification of Strategies, Journal of automated reasoning , 15(1), 1995, pp. 69-93