On Mechanization of Thought Processes (Extended Abstract).

Jon Doyle On Mechanization of Thought Processes (Extended Abstract). 2 2006 conf/kr/2006 KR db/conf/kr/kr2006.html#Doyle06