Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation.

Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi

Browse the full SAC paper archive.