It was proposed by Michael O. Rabin.
Ji buvo sukurta Michael O. Rabin.