On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion.

Koichi Furukawa

Browse the full DIS paper archive.