T. Gruber, and G. Olsen. Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR '94): Bonn, Germany: 1994, May, 24 - 27, page 258-269. Morgan Kaufmann Publishers, (1994)
D. Hofstadter. dtv, (1985)Links structure in musical and visual arts (Bach, Escher) to G�del's
work on the structure of mathematics, with important assertions and
predictions on AI and numerous cognitive and computer-related topics.
Original English edition: G�del, Escher, Bach: an Eternal Golden
Braid, 1979..