학술논문
Resolution proof transformation for compression and interpolation
Document Type
Article
Source
In: Formal Methods in System Design . (Formal Methods in System Design, August 2014, 45(1):1-41)
Subject
Language
English
ISSN
09259856