Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations Academic Article uri icon

publication date

  • December 1, 2002