A Logic For Decidable Reasoning About Actions

  • 129
  • 87