A Tractable Knowledge Representation Service with Full Introspection.

Gerhard Lakemeyer Hector J. Levesque A Tractable Knowledge Representation Service with Full Introspection. 145-159 1988 conf/tark/1988 TARK db/conf/tark/tark1988.html#LakemeyerL88