Lunjin Lu

• Abstract interpretation, bug detection and bug diagnosis in normal logic programs