TY - JOUR T1 - Equivalence of conservative, free, linear program schemas is decidable JO - Theoretical Computer Science PY - 2003/01/01 AU - Laurence MR AU - Danicic S AU - Harman M AU - Hierons R AU - Howroyd J ED - DO - DOI: 10.1016/s0304-3975(02)00374-2 PB - Elsevier BV VL - 290 IS - 1 SP - 831 EP - 862 Y2 - 2025/05/16 ER -