domains / research / journal-camera-ready / tacas-camera-ready
Skill card
separate
This skill name occurs once, so it stays a separate skill.
TACAS-Skills/skills/tacas-camera-ready/SKILL.md