Return to Issue Details ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS Download Download PDF