Worst-Case Groundness Analysis Using Positive Boolean Functions

Michael Codish. Worst-Case Groundness Analysis Using Positive Boolean Functions. Journal of Logic and Algebraic Programming, 41(1):125-128, 1999.

Abstract

Abstract is missing.