A Practical Decision Procedure for Arithmetic with Function Symbols.

Robert E. Shostak

Published in: J. ACM (1979)

Keyphrases

function symbols
knuth bendix
logic programs
logic programming
first order logic
normal form
database
artificial intelligence
data warehouse