id: 70470609
dt: a
an: 70470609
au: Frias, Marcelo F.; Orlowska, Ewa
ti: Equational reasoning in non-classical logics
so: RelMiCS, 321-329 (1997).
py: 1997
pu: 
la: EN
cc: 
ut: 
ci: 
li: