@article{article, title = {{Decidability of strong equivalence for subschemas of a class of linear, free, near-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.2010.08.001}}, volume = {{80}}, journal = {{The Journal of Logic and Algebraic Programming}}, issue = {{2}}, pages = {{92-112}}, note = {{Accessed on 2025/04/14}}}