@misc {IOPORT.70470609,
    author       = {Frias, Marcelo F. and Orlowska, Ewa},
    title        = {Equational reasoning in non-classical logics},
    howpublished = {RelMiCS, 321-329 (1997).},
    year         = {1997},
    identifier   = {70470609},
}