Antonio Brogi Franco Turini Metalogic for Knowledge Representation. 61-69 1991 conf/kr/1991 KR db/conf/kr/kr91.html#BrogiT91