Idempotency as a Correctness Property of Rule Bases.

B. S. Todd Idempotency as a Correctness Property of Rule Bases. 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#Todd95 59-75