Eliminating Duplication with the Hyper-Linking Strategy

Authors
S.J.Lee,D.A.Plaisted
Citation
S.j.lee,d.a.plaisted, Eliminating Duplication with the Hyper-Linking Strategy, Journal of automated reasoning , 9(1), 1992, pp. 25-42
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
9
Issue
1
Year of publication
1992
Pages
25 - 42
Database
ACNP
SICI code