An algebraic technique for deductive database system.

Yuejun Jiang

Browse the full COMPSAC paper archive.