parLisp — Parallel symbolic processing with Lisp on the distributed memory machine MANNA | Publicación