LICS 1988