Home

Chaoyi Pang, Guozhu Dong, Kotagiri Ramamohanarao (tods, 2005, research)

Incremental maintenance of shortest distance and transitive closure in first-order logic and SQL

dbs.uni-leipzig.de/david