@inproceedings{DBLP:conf/padl/TakeuchiBTS23, title = {Solving Vehicle Equipment Specification Problems with Answer Set Programming}, author = {Takeuchi, Raito and Banbara, Mutsunori and Tamura, Naoyuki and Schaub, Torsten}, booktitle = {{PADL}}, pages = {232--249}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {13880}, year = {2023} }