Ji, J.; Wan, H.; Huo, Z.; Yuan, Z. Splitting a Logic Program Revisited. AAAI 2015, 29.