David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher
Browse the full KR paper archive.