Automatic abstraction refinement of TR for PDR ASP-DAC 2016 2016 Authors: Kuan Fan, Ming-Jen Yang, Chung-Yang (Ric) Huang
