//-->
Stability analysis by quantifier elimination
Steinberg, Stanly, (1996)
Non-standard Applications of Computer Algebra II
Steinberg, Stanly, (2000)
High-resolution models of motion of macromolecules in cell membranes
Leiderman, Karin, (2008)