Computational Logic CL 2000 00 | lit.salon