Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract)

Andreas Podelski. Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). In ILPS. pages 35-36, 1997.

Abstract

Abstract is missing.