An algorithm for di erential le comparison (1976)

by Hunt, M D McIlroy