Grigori Schwarz Bounding Introspection in Nonmonotonic Logic. 581-590 1992 KR db/conf/kr/kr92.html#Schwarz92