From: Ian Horrocks ([email protected])
Date: 02/17/04
Interesting work coming from Thomas Eiter [1], Riccardo Rosati [2] and Enrico Franconi [3] (not sure Enrico has published anything yet, but the others definitely have). [1] http://www.kr.tuwien.ac.at/staff/eiter/eiter.html [2] http://www.dis.uniroma1.it/~rosati/ [3] http://www.inf.unibz.it/~franconi/
This archive was generated by hypermail 2.1.4 : 02/17/04 EST