Solving Vehicle Equipment Specification Problems with Answer Set Programming. - Raito Takeuchi; Mutsunori Banbara; Naoyuki Tamura; Torsten Schaub (PADL, 2023)