Using Temporal Logics to Express Search Control Knowledge for Planning (1999)

by Fahiem Bacchus, Froduald Kabanza
Venue:ARTIFICIAL INTELLIGENCE