Title: A first-order dynamic logic for planning
First published: 1982
Subjects: Electronic data processing, Artificial intelligence
LC classification: QA76.99 K38 1982