Kosta Dosen Zoran Petric Equality of proofs for linear equality. 549-565 2008 47 Arch. Math. Log. 6 http://dx.doi.org/10.1007/s00153-008-0096-0 db/journals/aml/aml47.html#DosenP08