A finite presentation theorem for approximating logic programs

Abstract
No abstract available