A Characterization of Finite fd-Acyclicity

Yehoshua Sagiv, Oded Shmueli. A Characterization of Finite fd-Acyclicity. J. Comput. Syst. Sci., 38(2):380-404, 1989.

Abstract

Abstract is missing.