Piero A. Bonatti

Bibliography

Bonatti, Piero A. and Peron, A. 2004. “On the Undecidability of Logics with Converse, Nominals, Recursion, and Counting.” Artificial Intelligence 158(1): 75–96.