Worst-case groundness analysis using positive Boolean functions

• 31 October 1999
• journal article
• Published by Elsevier in The Journal of Logic Programming
• Vol. 41  (1) , 125-128
• https://doi.org/10.1016/s0743-1066(99)00014-x

Abstract

Keywords

• FUNCTIONS
• THEORETICAL
• ART
• SCENARIO
• MORAL
• ITERATIONS
• WIDENING
• INHERENT
• WORST
• ILLUSTRATES