The knowledge representation specification language manual (1994)

by Nancy Lehrer