TY - JOUR
T1 - Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas
JO - The Journal of Logic and Algebraic Programming
PY - 2011/01/01
AU - Danicic S
AU - Hierons RM
AU - Laurence MR
ED -
DO - DOI: 10.1016/j.jlap.2011.04.009
PB - Elsevier BV
VL - 80
IS - 8
SP - 481
EP - 496
Y2 - 2025/05/24
ER -