TY - JOUR T1 - Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas JO - The Computer Journal UR - https://doi.org/10.1093/comjnl/bxh121 PY - 2005/07/22 AU - Danicic S AU - Fox C AU - Harman M AU - Hierons R AU - Howroyd J AU - Laurence MR ED - DO - DOI: 10.1093/comjnl/bxh121 PB - Oxford University Press (OUP) VL - 48 IS - 6 SP - 737 EP - 748 Y2 - 2025/11/05 ER -