Sasa Buvac Quantificational Logic of Context. 600-606 1996 AAAI/IAAI, Vol. 1 db/conf/aaai/aaai96-1.html#Buvac96