Alexandre Albore, Piergiorgio Bertoli: Safe LTL Assumption-Based Planning. ICAPS 2006: 193-202