Laws and legislation 4 Legal documents 4 Model checking 4 Artificial intelligence 2 Automated Legislative Drafting 2 Automated legislative drafting 2 Automatic analysis 2 Deontic Logic 2 Deontic logic 2 Feminism 2 Feminismo 2 Genealogia 2 Genealogy 2 Genealogía 2 Language constructs 2 Legal modeling 2 Mercado del sexo 2 Mercado do sexo 2 Model Checking Regulations 2 Model checker 2 Model checking regulations 2 Modelos Legais de Regulação 2 Modelos de Regulación 2 Models of Regulation 2 Normative system 2 Performance improvements 2 Prostitución 2 Prostituição 2 Prostitution 2 Real case 2