Some Termination Criteria for Narrowing and E-Narrowing.

Jim Christian

Browse the full CADE paper archive.