RTL and Refutation by Positive Cycles.

Farn Wang Aloysius K. Mok

Published in: FME (1994)

Keyphrases

positive and negative
theorem proving
inductive inference
case study
theorem prover
data mining
high level
relational databases
user interface
multiresolution
positive or negative
positively correlated