Large-Scale Legal Reasoning with Rules and Databases - Livio Robaldo (Journal of Applied Logics, 2021)