Forbidding and enforcing.

Andrzej Ehrenfeucht Hendrik Jan Hoogeboom Grzegorz Rozenberg Nike van Vugt

Published in: DNA Based Computers (1999)

Keyphrases

global consistency
temporal reasoning
data mining
lower bound