@article{article, title  = {{Equivalence of conservative, free, linear program schemas is decidable}},

 publisher = {{Elsevier BV}},

 url = {{}},

 year = {{2003}},

 month = {{1}},

 author = {{Laurence MR and Danicic S and Harman M and Hierons R and Howroyd J}},

 doi = {{10.1016/s0304-3975(02)00374-2}},

 volume = {{290}},

 journal = {{Theoretical Computer Science}},

 issue = {{1}},

 pages = {{831-862}},

 note = {{Accessed on 2024/10/23}}}