doi dblp Introduction to logical information systems Sébastien Ferré | Olivier Ridoux 2004 Volume 40 Issue 3