Polyhedral domains for abstract interpretation in logic programming. - Patricia Mary Benoy (2002)