A Logic For Decidable Reasoning About Actions

  • 168
  • 97