Paul C. Gilmore. NaDSyL and some Applications. In Georg Gottlob, Alexander Leitsch, Daniele Mundici, editors, Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings. Volume 1289 of Lecture Notes in Computer Science, pages 153-166, Springer, 1997.
@inproceedings{Gilmore97, title = {NaDSyL and some Applications}, author = {Paul C. Gilmore}, year = {1997}, tags = {C++}, researchr = {https://researchr.org/publication/Gilmore97}, cites = {0}, citedby = {0}, pages = {153-166}, booktitle = {Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC 97, Vienna, Austria, August 25-29, 1997, Proceedings}, editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici}, volume = {1289}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63385-5}, }