|
Volumn 36, Issue 4, 1996, Pages 457-466
|
Category equivalence preserves unification type
|
Author keywords
[No Author keywords available]
|
Indexed keywords
|
EID: 0030460687
PISSN: 00025240
EISSN: None
Source Type: Journal
DOI: 10.1007/BF01233916 Document Type: Article |
Times cited : (2)
|
References (9)
|