{"slug":"journal-of-automated-reasoning","name":"Journal of Automated Reasoning","journalId":"06a500b2-de12-7f59-8000-7fdfb35e2363","groups":[{"manuscriptType":"All","categories":[{"category":"LENGTH","label":"Length & word limits","items":[{"key":"abstract_word_limit","value":"250","unit":"words"}],"hiddenCount":0},{"category":"OTHER","label":"Formatting & submission","items":[],"hiddenCount":6}]}]}