"Using Safe Approximations of Fixed Points for Analysis of Logic Programs."

Michael Codish, John P. Gallagher, Ehud Shapiro (1988)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2019-07-30