Vladik Kreinovich Andrew Bernat Is Solar System Stable? A Remark. 149-154 1997 3 Reliable Computing 2 http://dx.doi.org/10.1023/A:1009985822160 db/journals/rc/rc3.html#KreinovichB97