https://www.clocktowerhistoricstaunton.com/cooking/question-how-long-to-cook-pork-ribs-in-pressure-cooker/