doi dblpIntroduction to logical information systemsSébastien Ferré | Olivier Ridoux2004 Volume 40 Issue 3