[FOM] General conditions for cut elimination

[Sandro Skansi]

There was an article by Terui in 2007 named ``Which structural rules
admit cut elimination? An algebraic criterion'' (Journal of Symbolic
Logic 72.3. Sept 2007). This is the only article I was able to find
that comes close to find what necessary conditions (that can be
readily verified examining only the rules for the sequent system in
question) imply that the given system of sequents admits cut
elimination. Does anyone know any article dealing with this question?
Thank you for your help,
All the best
Sandro Skansi