Val Tannen

セミリングとグラウンディング技術を使ってDatalogの効率を上げる。