@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}
}