Meta-Reasoning in Executable Temporal Logic.

Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter

Browse the full KR paper archive.