Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. - Enrico Giunchiglia; Alessandro Massarotto; Roberto Sebastiani (AAAI/IAAI, 1998)