Michael J. Miller Donald Perlis Proving Self-Utterances. 329-338 1987 3 J. Autom. Reasoning 3 db/journals/jar/jar3.html#MillerP87