Howard Barringer Michael Fisher Dov M. Gabbay Anthony Hunter Meta-Reasoning in Executable Temporal Logic. 40-49 1991 KR db/conf/kr/kr91.html#BarringerFGH91