Abstract interpretation, bug detection and bug diagnosis in normal logic programs (1994)

by L Lu