Random Model Sampling: Making Craig Interpolation Work When It Should Not
Automatic Control and Computer Sciences - United States
doi 10.3103/s0146411615070020
Full Text
Open PDFAbstract
Available in full text
Date
December 1, 2015
Authors
Publisher
Allerton Press