Execution or Revocation

@inproceedings{Reid1986ExecutionOR,
  title={Execution or Revocation},
  author={Kenneth Reid},
  year={1986}
}