Nikolaj Bjørner, Guido de Caso, Yuri Gurevich. From Primal Infon Logic with Individual Variables to Datalog. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 72-86, Springer, 2012. [doi]
Abstract is missing.