Nivelle. Deciding Regular Grammar Logics with Converse Through First-Order Logic (2005)

by S Demri, H de
Venue:Journal of Logic, Language and Information