Login / Signup
Perfect Model Semantics for Logic Programs with Equality.
Leo Bachmair
Harald Ganzinger
Published in:
ICLP (1991)
Keyphrases
</>
databases
expert systems
general purpose