Bussche, 2020. J-Logic: a Logic for Querying JSON.