CLISP

From MaRDI portal