Luo, W.; Liang, P.; Du, J.; Wan, H.; Peng, B.; Zhang, D. Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI 2022, 36, 9849-9857.