Optative Reasoning with Scenario Semantics

@inproceedings{Pereira1993OptativeRW,
  title={Optative Reasoning with Scenario Semantics},
  author={Lu{\'i}s Moniz Pereira and Jos{\'e} J{\'u}lio Alferes},
  booktitle={ICLP},
  year={1993}
}