拡張版エルブランの定理

ゴグエン（Goguen）達がエルブラン定理について書いているのだが：

• Title: A Hidden Herbrand Theorem (1998)
• Authors: Joseph Goguen, Grant Malcolm, Tom Kemp
• URL: http://citeseer.ist.psu.edu/293075.html
• 18ページ

• Title: A Hidden Herbrand Theorem: Combining the Object, Logic and Functional Paradigms ()
• Authors: Joseph Goguen, Grant Malcolm, Tom Kemp
• URL: http://citeseer.ist.psu.edu/48960.html
• 29ページ

• Title: A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
• Authors: Joseph Goguen, Grant Malcolm, Tom Kemp
• URL: http://citeseer.ist.psu.edu/443339.html
• 34ページ

似たようなもんだけど、どれを読んだらいいかわからない。