publication venue for On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas 2010 Model Engineering for Complex Systems 2008 SECOND NOTE ON BASIC INTERVAL ARITHMETIC FOR IEEE754R ISL WORK NOTE WN13B 2008 Interval Subroutine Library Mission 2006
