Logical Information Systems

LIS

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