Clausal Tableaux for Hybrid PDL

Mark Kaminski, Gert Smolka. Clausal Tableaux for Hybrid PDL. Electronic Notes in Theoretical Computer Science, 278:99-113, 2011. [doi]

Abstract

Abstract is missing.