Roderic A. Girle. Possible Worlds Tableaux without Explicit Accessibility. In TABLEAUX. pages 27-28, 1992.
@inproceedings{Girle92, title = {Possible Worlds Tableaux without Explicit Accessibility}, author = {Roderic A. Girle}, year = {1992}, researchr = {https://researchr.org/publication/Girle92}, cites = {0}, citedby = {0}, pages = {27-28}, booktitle = {TABLEAUX}, }