Predicate Pairing for program verification. - DE ANGELIS, EMANUELE; FIORAVANTI, FABIO; PETTOROSSI, ALBERTO; PROIETTI, MAURIZIO (Theory & Practice of Logic Programming, 2018)