Howe, J. M., Robbins,, E & King, A (2017). Theory Learning with Symmetry Breaking. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, pp. 85-96. doi: 10.1145/3131851.3131861
