Analysis of Downward Closed Properties of Logic Programs

Patricia M. Hill, Fausto Spoto. Analysis of Downward Closed Properties of Logic Programs. In Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Volume 1816 of Lecture Notes in Computer Science, pages 181-196, Springer, 2000. [doi]

Abstract

Abstract is missing.