Explicit representation of terms defined by counter examples

• 1 September 1987
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 3  (3) , 301-317
• https://doi.org/10.1007/bf00243794

Abstract

Keywords

• IMPLICIT
• UNIFICATION
• RETURN
• COUNTER
• DUAL
• FORMAL
• EXPLICIT REPRESENTATION
• DECIDABLE