Satisfiability planning with Causal Theories.

Norman McCain, Hudson Turner

Browse the full KR paper archive.