E
[EN03] E. Allen Emerson and Kedar Namjoshi. On Reasoning About Rings. International Journal of Foundations of Computer Science 14(4):527-550. August 2003. 
@article{ijfcs14(4)-EN,
  author =              {Emerson, E. Allen and Namjoshi, Kedar},
  title =               {On~Reasoning About Rings},
  journal =             {International Journal of Foundations of Computer
                         Science},
  volume =              {14},
  number =              {4},
  pages =               {527-550},
  year =                {2003},
  month =               aug,
  doi =                 {10.1142/S0129054103001881},
}
List of authors