Reasoning about Knowledge: The Meta-Level Approach.

Luigia Carlucci Aiello Daniele Nardi Marco Schaerf Reasoning about Knowledge: The Meta-Level Approach. 4-18 1991 SCAI db/conf/scai/scai1991.html#AielloNS91