Incremental logic rectification.

Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng

Browse the full VTS paper archive.