Publications in 1987

From International Center for Computational Logic