Deciding Regular Grammar Logics with Converse Through First-Order Logic

St├ęphane Demri, Hans de Nivelle. Deciding Regular Grammar Logics with Converse Through First-Order Logic. Journal of Logic, Language and Information, 14(3):289-329, 2005. [doi]

Abstract

Abstract is missing.