Introduction

• 1 November 1993
• journal article
• research article
• Published by Springer Nature in Higher-Order and Symbolic Computation
• Vol. 6  (3-4) , 229-231
• https://doi.org/10.1007/bf01019458

Abstract