TY - JOUR T1 - Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas JO - The Computer Journal PY - 2005/01/01 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 - 2024/12/22 ER -