The problem of Choosing Between Using and Avoiding Equality Predicates

Authors
L.Wos
Citation
L.wos, The problem of Choosing Between Using and Avoiding Equality Predicates, Journal of automated reasoning , 8(2), 1992, pp. 307-309
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
2
Year of publication
1992
Pages
307 - 309
Database
ACNP
SICI code