A Logic For Decidable Reasoning About Actions

  • 154
  • 93