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

From MaRDI portal
(Redirected from Publication:997992)