G. Holmstrom-Hintikka, “Expert Witnesses in the Interrogative Model”, Comput. Inform., vol. 20, no. 6, pp. 555–579, Feb. 2012.