@article{1364531,
      author = {Carnielli, Walter A. and D'Ottaviano, Itala M. L.,},
      url = {http://library.usi.edu/record/1364531},
      title = {Advances in contemporary logic and computer science :  proceedings of the Eleventh Brazilian Conference on  Mathematical Logic, May 6-10, 1996, Salvador da Bahia,  Brazil /. Brazilian Conference on Mathematical Logic},
      recid = {1364531},
      pages = {1 online resource (344 pages) :},
}