Eliminating duplication with the hyperlinking strategy (1992)

by A Plaisted
Venue:LP92] [LP94] [LSBB92] Shie-Jue