Beer Braised Barbecued Ribs

4

2½ pounds country style pork ribs 1 onion, sliced 2 cloves garlic, minced 1 bay leaf 1 whole clove 1 teaspoon salt ½ teaspoon pepper 1 cup beer 1½ cups barbecue sauce ¼ cup Dijon mustard ¼ cup brown sugar

Place ribs in the pressure cooker. Add onion, garlic, seasonings and beer. Cover and cook on high 30 minutes. Release pressure gradually. Ladle out all but about ½ cup of the beer and drippings. Remove and discard bay leaf and clove. Combine barbecue sauce, mustard and sugar and pour over ribs. Cover and cook 10 minutes on high. Release pressure gradually.