Jan A. Bergstra Inge Bethke Molecular dynamics. 193-214 2002 51 J. Log. Algebr. Program. 2 http://dx.doi.org/10.1016/S1567-8326(02)00021-8 db/journals/jlp/jlp51.html#BergstraB02