State space reduction based on live variables analysis.
scientific article; zbMATH DE number 1961603
scientific article