H
[HR08] Yoram Hirshfeld et Alexander Rabinovich. Decidable Metric Logics. Information and Computation 206(12):1425-1442. Elsevier, décembre 2008. 
@article{icomp206(12)-HR,
  author =              {Hirshfeld, Yoram and Rabinovich, Alexander},
  title =               {Decidable Metric Logics},
  publisher =           {Elsevier},
  journal =             {Information and Computation},
  volume =              {206},
  number =              {12},
  pages =               {1425-1442},
  year =                {2008},
  month =               dec,
  doi =                 {10.1016/j.ic.2008.08.004},
}
Liste des auteurs