Some Remarks on the Definability of Transitive Closure in First-order Logic and Datalog (2004)

Cached

Download Links

by Uwe Keller