A Logic For Decidable Reasoning About Actions

  • 144
  • 90