Rational relations having a rational trace on each finite intersection of rational relations

Christian Choffrut, Serge Grigorieff. Rational relations having a rational trace on each finite intersection of rational relations. Theoretical Computer Science, 454:88-94, 2012. [doi]

Abstract

Abstract is missing.