Publication | Closed Access

A General Setting for Flexibly Combining and Augmenting Decision Procedures