Gert van Valkenhoef, Elske van der Vaart, Rineke Verbrugge. OOPS: An S5::n:: Prover for Educational Settings. Electronic Notes in Theoretical Computer Science, 262:249-261, 2010. [doi]
@article{ValkenhoefVV10, title = {OOPS: An S5::n:: Prover for Educational Settings}, author = {Gert van Valkenhoef and Elske van der Vaart and Rineke Verbrugge}, year = {2010}, doi = {10.1016/j.entcs.2010.04.018}, url = {http://dx.doi.org/10.1016/j.entcs.2010.04.018}, researchr = {https://researchr.org/publication/ValkenhoefVV10}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {262}, pages = {249-261}, }