Jürgen Dix João Alexandre Leite Ken Satoh 1-3 2004 42 Ann. Math. Artif. Intell. 1-3 http://www.springerlink.com/index/10.1023/B:AMAI.0000034534.36300.73 db/journals/amai/amai42.html#DixLS04