Robert Robere, Tarek Richard Besold. Complex Analogies: Remarks on the Complexity of HDTP. In Michael Thielscher, Dongmo Zhang, editors, AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings. Volume 7691 of Lecture Notes in Computer Science, pages 530-542, Springer, 2012. [doi]
Abstract is missing.