@article{article, title = {{Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Danicic S and Hierons RM and Laurence MR}}, doi = {{10.1016/j.jlap.2011.04.009}}, volume = {{80}}, journal = {{The Journal of Logic and Algebraic Programming}}, issue = {{8}}, pages = {{481-496}}, note = {{Accessed on 2024/12/21}}}