1. Beame, P., Van den Broeck, G., Gribkoff, E., Suciu, D.: Symmetric weighted first-order model counting. In: PODS, pp. 313–328. ACM (2015)
2. Berthomieu, J., Faugère, J.C.: Guessing linear recurrence relations of sequence tuples and p-recursive sequences with linear algebra. In: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, pp. 95–102 (2016)
3. van Bremen, T., Kuzelka, O.: Faster lifting for two-variable logic using cell graphs. In: Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence, UAI 2021, pp. 1393–1402 (2021)
4. Colton, S.: Automated conjecture making in number theory using HR, otter and maple. J. Symb. Comput. 39(5), 593–615 (2005)
5. Colton, S., Bundy, A., Walsh, T.: Automatic invention of integer sequences. In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, 30 July–3 August 2000, Austin, Texas, USA, pp. 558–563 (2000)