Rex Bing Hung Kwok, Abhaya C. Nayak, Norman Y. Foo. A Notion of Correctness with Theories Containing Theoretical Terms. In Abdul Sattar, editor, Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI 97, Perth, Australia, November 30 - December 4, 1997, Proceedings. Volume 1342 of Lecture Notes in Computer Science, pages 217-226, Springer, 1997.
Abstract is missing.