Edelkamp, Stefan and Lluch-Lafuente, Alberto Abstraction in directed model checking. In: Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling, June 3-7 2004, Whistler, Canada pp. 7-13. (Unpublished) (2004)