Login / Signup

An AC-Compatible Knuth-Bendix Order.

Konstantin KorovinAndrei Voronkov
Published in: CADE (2003)
Keyphrases
  • knuth bendix
  • artificial intelligence
  • database systems
  • logic programs
  • logic programming