@article{article070bffae,
title   = {Equality in linear logic},
author = {Coniglio, Marcelo Esteban and Miraglia Neto, Francisco},
year = {1996},
journal   = {Logique et Analyse}
}