Analogico-Deductive Generation of Gödel's First Incompleteness Theorem from the Liar Paradox. - John Licato; Naveen Sundar Govindarajulu; Selmer Bringsjord; Michael Pomeranz; Logan Gittelson (IJCAI, 2013)