Jürgen Dix V. S. Subrahmanian George Pick 1-60 2000 46 J. Log. Program. 1-2 db/journals/jlp/jlp46.html#DixSP00 http://dx.doi.org/10.1016/S0743-1066(99)00062-X