Characterizing minimal semantics-preserving slices of function-linear, free, liberal program schemas

From MaRDI portal