Extending STR to a Higher-Order Consistency

Open in new window