Fast Subsumption Checks Using Anti-Links

Authors
A.Ramesh,B.Beckert,R.Hahnle,N.V.Murray
Citation
A.ramesh,b.beckert,r.hahnle,n.v.murray, Fast Subsumption Checks Using Anti-Links, Journal of automated reasoning , 18(1), 1997, pp. 47-83
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
18
Issue
1
Year of publication
1997
Pages
47 - 83
Database
ACNP
SICI code