ALL: formalizing access-limited reasoning (1991)
J. M. Crawford and Benjamin J. Kuipers
View:
PS
Citation:
In John Sowa, editors, Principles of Semantic Networks, 299--330, San Mateo, CA, 1991. Morgan Kaufmann.
Bibtex:

Benjamin Kuipers Professor kuipers@cs.utexas.edu