TY  - JOUR

T1  - Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas

JO  - The Journal of Logic and Algebraic Programming

PY  - 2011/01/01

AU  - Danicic S

AU  - Hierons RM

AU  - Laurence MR

ED  - 

DO  - DOI: 10.1016/j.jlap.2010.08.001

PB  - Elsevier BV

VL  - 80

IS  - 2

SP  - 92

EP  - 112

Y2  - 2024/12/22

ER  -