div class=ts-pagebutton class=gotoPage data-page=1Page 1button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page1jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=1 data-page=1 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails1jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=2Page 2button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page2jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=2 data-page=2 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails2jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=3Page 3button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page3jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=3 data-page=3 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails3jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=4Page 4button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page4jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=4 data-page=4 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails4jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=5Page 5button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page5jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=5 data-page=5 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails5jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=6Page 6button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page6jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=6 data-page=6 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails6jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=7Page 7button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page7jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=7 data-page=7 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails7jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=8Page 8button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page8jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=8 data-page=8 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails8jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=9Page 9button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page9jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=9 data-page=9 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails9jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=10Page 10button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page10jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=10 data-page=10 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails10jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=11Page 11button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page11jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=11 data-page=11 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails11jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=12Page 12button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page12jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=12 data-page=12 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails12jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=13Page 13button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page13jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=13 data-page=13 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails13jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=14Page 14button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page14jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=14 data-page=14 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails14jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=15Page 15button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page15jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=15 data-page=15 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails15jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=16Page 16button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page16jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=16 data-page=16 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails16jpg width=140 height=200 adivdivdiv class=ts-pagebutton class=gotoPage data-page=17Page 17button div class=ts-imagea href=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5page17jpg target=_blank img data-url=-to-appear-in-lisp-and-symbolic-computation-an-internation-compare-our-proposalhtmlpage=17 data-page=17 class=ts-thumb lazyload 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 loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAIAAAACCAQAAADYv8WvAAAAD0lEQVR42mP8X8AwAgiABKBAv+vAXklAAAAAElFTkSuQmCC data-src=https:reader042vdocumentsnetreader042viewer20220308195b304d097f8b9adc6e8e001fhtml5thumbnails17jpg width=140 height=200 adivdiv