lp2cpp: A Tool For Compiling Stratified Logic Programs. - Bernardo Cuteri; Alessandro Francesco De Rosis; Francesco Ricca (AI*IA, 2017)