@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/09/19}}}