A Mechanized Proof of the Basic Perturbation Lemma

Jesús Aransay, Clemens Ballarin, and Julio Rubio
Journal of Automated Reasoning 40(4), pp. 271 – 292, 2008.

abstract   BibTeX   PDF   doi:10.1007/s10817-007-9094-x  
© Springer