This site is the best I’ve found.
https://www.pressurecookrecipes.com/...r-korean-ribs/
Check out Pinterest. They have lots. Also print chart for cooking times. You will get the different ways to do things and be cooking your own things without recipe. Have fun!