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)