Bhatt, AN and Chakrabarti, A (2022) SAPPhIRE: A multistep representation for abductive reasoning in design synthesis. [Book Chapter]