Raul Trejo Vladik Kreinovich Luc Longpré Choosing a Physical Model: Why Symmetries? 159-161 2000 70 Bulletin of the EATCS db/journals/eatcs/eatcs70.html#TrejoKL00