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

by F Bacchus, F Kabanza
Venue:Artificial Intelligence