Line 58: Please typeset "(CP1)" in normal font, not italic. Line 64: Please typeset "(CP2)" in normal font, not italic. Line 69: Your typesetter has deleted an indentation here. Please add it again. Better option would even be to add the last sentence to the previous paragraph, in order to help to avoid the ugly page breaks after line 104 and after line 146. Line 110: Your typesetter has deleted a double closing quotation mark here, namely between the negation symbol and the comma. Please add it again. Line 111: Please replace "specification s" with "specifications". Line 120: Please delete "," after "[33]". Lines 134, 135, 136: In each of theses lines, your typesetting has reduced the space after the commas within the braces and increased the space on both sides of the double backwards arrow. For mathematical reasons, it is strictly required that the space after the comma is significantly larger than any other space within the braces. If you cannot manage this technically, please put all composite expressions in the braces, before and after each comma, into parentheses "(...)". Line 176: Please delete "either,". Display formulas after Line 186: Your typesetting has reduced the space after the symbol for union of mathematical sets (which looks like a cup) to zero. Please make sure that the space on both sides of the cup is equal. Line 190: Your typesetting has reduced the space between "If" and the mathematical symbol to zero. Please add some space again. Displayed formulas after lines 222: Your typesetter has replace a straight capital Greek Pi with a Microsoft-Word paragraph symbol (mirrored P with double shaft). Please put the original Pi in again. Line 313: Please replace "this" by "the". Line 369,374,376,387,394,415,435,436: Please re-introduce spaces around "|" (\mid) in all intensional set descriptions. Line 390: Please replace "[27, p.94], [13, p.108]" with "[27, p.94] and [13, p.108]". Line 394: Your typesetter has introduced some extra space to both sides of the mathematical subtraction symbol (-). This is not necessary. What is really bad, however, is that the line was broken after the symbol. Please make sure that the whole "n-1" appears on the same line. Line 435: Your typesetter has garbled our mathematics by changing "n" to "n-1". Please undo this mathematical nonsense. Line 438: Please replace "[27, p.94], [13, p.108]" with "[27, p.94] and [13, p.108]" Lines 466 and 467: Please replace "we find a concrete example specification in Poole [22]" with "Poole gives a concrete example specification" Line 492: Your typesetter has introduced a space into the word "specifications". Please replace "specification s" with "specifications". Footnote 13: A full-stop (dot) was lost after "3.2ff". Please add it again. Line 500 up to 510: Your typesetting hides the structure of the text severely. Please do add some empty vertical space (blank line or paragraph) after lines 500 and 505. Moreover, please either undo your indentation of line 508 or make sure that lines 507 and 508 have exactly the same indentation. Line 505: Your typesetting has reduced the space after the colon and increased the spaces in the formula that follows it. This is mathematically not acceptable. Please make sure that the space right after the colon is significantly bigger than all spaces following it. An alternative is the breaking of the line after the colon and indenting the formula exactly like line 507. Fig. 1: Nobody can understand the footnotes 16 and 17 if you move their anchors! Please do undo this movement. If you cannot do this, we must change the texts of the footnotes! Line 511: Please replace "[22] with "Poole's [22]" Line 512: Please replace "[22] with "Poole's [22]" Line 552: For making sense, some additional space is required around the operator ":=". This could be achieved by putting the left-hand side, the operator, and the right-hand side into three separate math environments, separated by spaces. Lines 580 to 584: Without any good reason, there is too much space between the words here. Please remove that! Line 591: Please add sufficient space after the "If" Line 592: Please set the "P3" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 594: You have introduce a LONG double arrow for our SHORT double arrow, which is not consistent with the mathematical standards. Furthermore with your reduction of the space around the "and" you have made this line of two formulas hard to read. Moreover, by your change, you have introduced a further inconsistency with respect several other places, for instance in Line 1198! *** Please use the same short arrow that you used in Line 1198 and that we used in our manuscript here as well. *** Line 597: Please replace ",," with "," Line 599: You have made the formula unreadable. The subset is a relation symbol and must have some space around it. The subset is symbolized by a symbol similar to an underlined capital C. This bug occurs also at other place, but here it is particularly harmful because it destroys the mathematical shorthand for conjunction of relational properties. *** Please add spaces between the five symbols in the formula! *** For beauty, there should also be some extra space before the formula. Line 614: Please set the occurrences 2 "P3" and the 2 "P1" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 615: Please set the "P1" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 638: The line break before the "4" is to be avoided. Line 641: Please set the occurrences of "P1" (2x), "P2" (2x), "P3" (2x) in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 643: Please delete "," after "[22,27]". Line 678: Please set the "CP1" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 680: You have introduce a LONG double arrow for our SHORT double arrow, which is not consistent with the mathematical standards. Furthermore with your reduction of the space around the "and" you have made this line of two formulas hard to read. Moreover, by your change, you have introduced a further inconsistency with respect to Line 1198! *** Please use the same short arrow that you used in Line 1198 (and that we used in our manuscript) here as well. *** Line 691: Please set the "CP1" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 706: Please add sufficient space after the "If" Line 706: Please set the "CP1" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 711: Please set the occurrences of "P3" and "CP1" (2x) in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 711: The formula needs additional spaces around the subset relation symbol. See remark to line 599. Line 720: Please replace "at all. (See the proof!)" by "at all (see the proof!)." Line 772: The line break before the "5" is to be avoided. Line 789: Please display the formulas. This means that there must be two new line breaks. One after "get" and one after "and" Line 801: Please display the formulas. This means that there must be two new line breaks. One after "get" and one after "and" Line 803: Your typesetting has reduced the space after the commas within the braces and increased the space on both sides of the backwards arrow. For mathematical reasons, it is strictly required that the space after the comma is significantly larger than any other space within the braces. If you cannot manage this technically, please put all composite expressions in the braces, before and after the comma, into parentheses "(...)". Line 818: Please display the formulas. This means that there must be two new line breaks. One after "get" and one after "and" Footnote 28: Please change "Examples 14" back to the original "Example 14" Displayed lines after Line 843: Your typesetting has made this formulas unreadable. The "R" is a relation symbols (just like "<") and needs extra space on both sides. Please add sufficient space and make sure that the "R" in the two lines remain allocated to each other. Line 856: The line break before the "6" is to be avoided. Line 894: The line break before the "4" is to be avoided. Line 910: Please put the "we get" into this line. Then display the first formula that follows. Put the "contrary to" into a normal text line and then display the final formula of the display. Line 946: You have changed the original pair "(A^4,x)" into a simple "A^4x". Please correct this according to our original submission. *** Please check whether you have similar modifications that escaped our proofreading! *** Line 963: The huge vertical space before this line and the huge vertical space after the line "Example 17 (Variation of Example 13)" do not give the reader a chance to understand that this example continues up to line 971. *** Please remove any vertical space here! *** If your vertical space is a rubber one and you cannot change this, please add a very huge space before the section headline "7.3 Conflict ..." Line 975: In the following line, please replace "of[27]" with "of [27]" Line 992: Replace "?" by an apostrophe "'" in "Herbrand?s Fundamental Theorem". Line 1016: The huge vertical space before this line and the huge vertical space after the line "Example 19 (...)" do not give the reader a chance to understand that this example continues up to line 1024. *** Please remove any vertical space here! *** If your vertical space is a rubber one and you cannot change this, please add a very huge space before the section headline "8.2 Comparing derivations" Line 1084: Please replace "Section" with "Sections" Line 1121: Please replace "While this" with "This" Line 1123: Please replace "it, for" with "it. For" Line 1124: Please replace "argument it" with "argument, however, it" Line 1143: Please replace "towards" with "toward" Line 1171: Please put some tiny space between "set" and the anchor "36", so that the reader can see that these are apart from each other. Line 1196: Please set the "CP2" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 1216: Please set the "CP2" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 1268: Please display the two formulas here. This means that there must be two new line breaks. One after "both" and one after "and" Line 1274: Please display both formulas; this means that there must be two new line breaks: one after "such that" and one after "and". Line 1347: Please remove the slash "/" you have introduced here. Line 1347: Please set the "CP1" and "CP2" in a non-slanted font, such as Roman. This is a crucial point mathematically, because it is not a variable, but a constant! Line 1302: Please display both formulas; this means that there must be two new line breaks: One after "both" and one after "and". Line 1481: Replace "?" by an apostrophe "'" in "Herbrand?s Fundamental Theorem". Line 1596: Please delete "," after "[7,23]". Footnote 45: Please replace "Section" with "Sections" Footnote 45: Please replace "Section" with "Sections" Line 1669: Please correct the hyperlink and corresponding text to "http://www.aaai.org/Library/KR/kr14contents.php". Line 1681: There is a full-stop (dot) missing after the first "edn" Line 1696: There is a full-stop (dot) missing after "edn" Line 1715f.: Please correct the hyperlink and corresponding text to "https://books.google.de/books/about/Neues_Organon_oder_Gedanken_%C3%BCber_die_Er.html?id=X8UAAAAAcAAj" Line 1725f.: Please correct the hyperlink and corresponding text to "http://ijcai.org/Past%20Proceedings/IJCAI-85-VOL1/PDF/026.pdf" Line 1744: Replace "?" by an apostrophe "'" in "Herbrand?s Fundamental Theorem". Answers to your Questions: Q1: Yes, your setting is correct. Q2: Yes, affiliations are correct. Q3: MSC Codes 06A06, 68T27, 68T30, 68T37. Q4: Running page title is fine. Q5: Yes, your actions were the appropriate ones. Q6: NO! The action taken is by no means appropriate! Nobody can understand the footnotes 16 and 17 if you move their anchors. Please undo this movement. If you cannot do this, we must change the texts of the footnotes! Q7: No. Please display the last two formulas centered here. This means that there must be two new line breaks. One after "get" and one after "and" EOT