Ulike spørsmål som gjelder Pettersen ble behandlet i Høyesterett tre ganger. I 1988 ble den såkalte Huleboer-dommen avsagt og i 2010 kom Sårstelldommen. Anken over Borgarting lagmannsretts avgjørelse i 1996 ble behandlet av Høyesteretts kjæremålsutvalg som nektet den fremmet for Høyesterett. Både Huleboer-dommen og Sårstelldommen er omtalt i den juridiske litteraturen.