Jürgen Dix Selected Papers of Logic in AI - Editorial. 1-2 1999 27 Ann. Math. Artif. Intell. 1-4 db/journals/amai/amai27.html#Dix99 http://dx.doi.org/10.1023/A:1018927416540