Report copyright - Deciding regular grammar logics with converse through first-order

Please pass captcha verification before submit form