DARPA/Rolm Laboratory Planning and Scheduling Initiative, Knowledge Representation Speci cation Language: KRSL Version 2.0. Language speci cation and manual (1992)

by Nancy Lehrer