Search for: "2018-01-07 A small editing tool for work with AMSrefs"