Structured Declarative Language. - Mario Alviano; Carmine Dodaro; Ilaria R. Vasile (CILC, 2024)

Integrating Structured Declarative Language (SDL) into ASP Chef. - Mario Alviano; Paola Guarasci; Luis Angel Rodriguez Reiners; Ilaria R. Vasile (LPNMR, 2024)