Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
Browse the full KR paper archive.