Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning - Huang, Jiani; Li, Ziyang; Chen, Binghong; Samel, Karan; Naik, Mayur; Song, Le; Si, Xujie (Advances in Neural Information Processing Systems, 2021)