Eliminating Disjunctions of Leads-to Properties

Kenneth L. Calvert. Eliminating Disjunctions of Leads-to Properties. Inf. Process. Lett., 49(4):189-194, 1994.

Abstract

Abstract is missing.