div class=ts-pagebuttonPage 1button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page1jpg target=_blank amp-img class=ts-thumb alt=Page 1: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails1jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 2button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page2jpg target=_blank amp-img class=ts-thumb alt=Page 2: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails2jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 3button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page3jpg target=_blank amp-img class=ts-thumb alt=Page 3: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails3jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 4button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page4jpg target=_blank amp-img class=ts-thumb alt=Page 4: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails4jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 5button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page5jpg target=_blank amp-img class=ts-thumb alt=Page 5: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails5jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 6button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page6jpg target=_blank amp-img class=ts-thumb alt=Page 6: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails6jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 7button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page7jpg target=_blank amp-img class=ts-thumb alt=Page 7: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails7jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 8button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page8jpg target=_blank amp-img class=ts-thumb alt=Page 8: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails8jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 9button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page9jpg target=_blank amp-img class=ts-thumb alt=Page 9: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails9jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 10button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page10jpg target=_blank amp-img class=ts-thumb alt=Page 10: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails10jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 11button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page11jpg target=_blank amp-img class=ts-thumb alt=Page 11: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails11jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 12button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page12jpg target=_blank amp-img class=ts-thumb alt=Page 12: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails12jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 13button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page13jpg target=_blank amp-img class=ts-thumb alt=Page 13: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails13jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 14button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page14jpg target=_blank amp-img class=ts-thumb alt=Page 14: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails14jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 15button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page15jpg target=_blank amp-img class=ts-thumb alt=Page 15: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails15jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 16button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page16jpg target=_blank amp-img class=ts-thumb alt=Page 16: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails16jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=ts-pagebuttonPage 17button div class=ts-image a href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page17jpg target=_blank amp-img class=ts-thumb alt=Page 17: · To appear in Lisp and Symbolic Computation: An Internation compare our proposal with other ap- proaches and discuss possible extensions to the interface 2 src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails17jpg width=142 height=106 layout=responsive amp-imga divdiv