Login / Signup
Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols.
Franz Baader
Deepak Kapur
Published in:
IJCAR (1) (2020)
Keyphrases
</>
word problems
similar problems
definite clause
grade students
significantly higher