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

by T Lev-Ami