Login / Signup

Orienting Equalities with the Knuth-Bendix Order.

Konstantin KorovinAndrei Voronkov
Published in: LICS (2003)
Keyphrases
  • artificial intelligence
  • databases
  • relational databases