@inproceedings{inproceedings, title  = {{Expressivity within second-order transitive-closure logic}},

 url = {{}},

 year = {{2018}},

 month = {{8}},

 author = {{Ferrarotti F and Van Den Bussche J and Virtema J}},

 doi = {{10.4230/LIPIcs.CSL.2018.22}},

 isbn = {{9783959770880}},

 volume = {{119}},

 journal = {{Leibniz International Proceedings in Informatics, LIPIcs}},

 note = {{Accessed on 2024/09/19}}}