The knowledge representation speci cation language manual (1994)

by Nancy Lehrer
Venue:Corporation, Thousand Oaks