M. Romero, “A problem for choice functions: a local presupposition contexts”., Proceedings of the AC, pp. 259–264, Dec. 1997, doi: 10.53437/tmxtd074.