TVLA: A framework for kleene based logic static analyses (2000)

by Tal Lev-Ami