Flow Analysis of Dynamic Logic Programs

Saumya K. Debray. Flow Analysis of Dynamic Logic Programs. Journal of Logic and Algebraic Programming, 7(2):149-176, 1989.

Abstract

Abstract is missing.