Assia Mahboubi 1 AuthorId : 291401 Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Computer Science [cs] / Logic in Computer Science [cs.LO]