Hendrik Blockeel Georgios Chalkiadakis Zhengming Ding Ariel Felner Bruno C. da Silva Tiago de Lima Felipe Meneguzzi Alberto Quattrini Li Oskar Skibski Jingjing Xu Wenbin Zhang Dengji Zhao