Worst-case groundness analysis using positive Boolean functions
From MaRDI portal
Publication:4719376
DOI10.1016/S0743-1066(99)00014-XzbMath0948.68028MaRDI QIDQ4719376
Publication date: 4 January 2000
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0743-1066(99)00014-x
68N17: Logic programming
Related Items