Title: Free differential Lie Rota-Baxter algebras and Gröbner-Shirshov bases,
Abstract: We establish the Gröbner-Shirshov bases theory for differential Lie
$\Omega$-algebras. As an application, we give a linear basis of a free
differential Lie Rota-Baxter algebra on a set.