@inproceedings{inproceedings, title = {{Disjunction, Quantification and Free Choice}}, publisher = {{University of British Columbia Press}}, url = {{}}, year = {{2003}}, month = {{1}}, author = {{Gil K-H and Harlow S and Tsoulas G}}, journal = {{WeCoL 14}}, note = {{Accessed on 2024/12/25}}}