TY  - RPRT
TI  - Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas
AU  - Sebastian Danicic
AU  - Robert M Hierons
AU  - Michael R Laurence
PY  - 2017
UR  - https://arxiv.org/abs/1705.09615
ID  - 1705.09615
ER  -