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

 url = {{}},

 year = {{2018}},

 month = {{4}},

 author = {{Ferrarotti F and Bussche JVD and Virtema J}},

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