Piero A. Bonatti Adriano Peron On the undecidability of logics with converse, nominals, recursion and counting. 75-96 2004 158 Artif. Intell. 1 http://dx.doi.org/10.1016/j.artint.2004.04.012 db/journals/ai/ai158.html#BonattiP04