TY - RPRT TI - Direct Encoding of Declare Constraints in ASP AU - Francesco Chiariello AU - Valeria Fionda AU - Antonio Ielo AU - Francesco Ricca PY - 2024 DO - 10.1017/s1471068424000486 UR - https://arxiv.org/abs/2412.10152 ID - 2412.10152 ER -