Incremental Computation of Success Patterns of Logic Programs

Lunjin Lu. Incremental Computation of Success Patterns of Logic Programs. JSEA, 3(3):198-207, 2010. [doi]

Abstract

Abstract is missing.