T. Fernando, “A modal logic for non-deterministic disambiguation”, Proceedings of the AC, pp. 121–126, Dec. 1997, doi: 10.53437/nq07f437.