A Logic For Decidable Reasoning About Actions

  • 140
  • 90