Title: Abstract interpretation, bug detection and bug diagnosis in normal logic programs
First published: 1994