Luo, Weilin, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, and Delong Zhang. 2022. “Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9):9849-57. https://doi.org/10.1609/aaai.v36i9.21221.