Using temporal logics to express search control knowledge for planning, (2000)

by F Bacchus, F Kabanza
Venue:Artificial Intelligence