A Logic For Decidable Reasoning About Actions

  • 138
  • 90