Logical Information Systems
LIS
this page has moved to
http://www.irisa.fr/LIS