This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2009.4.25) 30 AUG 2015 10:53 entering extended mode **all (./all.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (./svjour3.cls Document Class: svjour3 2007/05/08 v3.2 LaTeX document class for Springer journals Class Springer-SVJour3 Info: extra/valid Springer sub-package (-> *.clo) (Springer-SVJour3) not found in option list of \documentclass (Springer-SVJour3) - autoactivating "global" style. (./svglov3.clo File: svglov3.clo 2009/12/18 v3.2 style option for standardised journals SVJour Class option: svglov3.clo for standardised journals ) LaTeX Font Info: Redeclaring math symbol \Gamma on input line 147. LaTeX Font Info: Redeclaring math symbol \Delta on input line 148. LaTeX Font Info: Redeclaring math symbol \Theta on input line 149. LaTeX Font Info: Redeclaring math symbol \Lambda on input line 150. LaTeX Font Info: Redeclaring math symbol \Xi on input line 151. LaTeX Font Info: Redeclaring math symbol \Pi on input line 152. LaTeX Font Info: Redeclaring math symbol \Sigma on input line 153. LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 154. LaTeX Font Info: Redeclaring math symbol \Phi on input line 155. LaTeX Font Info: Redeclaring math symbol \Psi on input line 156. LaTeX Font Info: Redeclaring math symbol \Omega on input line 157. \logodepth=\dimen102 \headerboxheight=\dimen103 \betweenumberspace=\dimen104 \aftertext=\dimen105 \headlineindent=\dimen106 \c@inst=\count79 \c@auth=\count80 \instindent=\dimen107 \authrun=\box26 \authorrunning=\toks14 \titrun=\box27 \titlerunning=\toks15 \combirun=\box28 \c@lastpage=\count81 \rubricwidth=\dimen108 \c@section=\count82 \c@subsection=\count83 \c@subsubsection=\count84 \c@paragraph=\count85 \c@subparagraph=\count86 \spthmsep=\dimen109 \c@theorem=\count87 \c@case=\count88 \c@conjecture=\count89 \c@corollary=\count90 \c@definition=\count91 \c@example=\count92 \c@exercise=\count93 \c@lemma=\count94 \c@note=\count95 \c@problem=\count96 \c@property=\count97 \c@proposition=\count98 \c@question=\count99 \c@solution=\count100 \c@remark=\count101 \c@figure=\count102 \c@table=\count103 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \figcapgap=\dimen110 \tabcapgap=\dimen111 \figgap=\dimen112 \bibindent=\dimen113 \@tempcntc=\count104 ) (/sw/share/texmf-dist/tex/latex/psnfss/mathptmx.sty Package: mathptmx 2004/09/15 PSNFSS-v9.2 Times w/ Math, improved (SPQR, WaS) LaTeX Font Info: Redeclaring symbol font `operators' on input line 28. LaTeX Font Info: Overwriting symbol font `operators' in version `normal' (Font) OT1/cmr/m/n --> OT1/ztmcm/m/n on input line 28. LaTeX Font Info: Overwriting symbol font `operators' in version `bold' (Font) OT1/cmr/bx/n --> OT1/ztmcm/m/n on input line 28. LaTeX Font Info: Redeclaring symbol font `letters' on input line 29. LaTeX Font Info: Overwriting symbol font `letters' in version `normal' (Font) OML/cmm/m/it --> OML/ztmcm/m/it on input line 29. LaTeX Font Info: Overwriting symbol font `letters' in version `bold' (Font) OML/cmm/b/it --> OML/ztmcm/m/it on input line 29. LaTeX Font Info: Redeclaring symbol font `symbols' on input line 30. LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' (Font) OMS/cmsy/m/n --> OMS/ztmcm/m/n on input line 30. LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' (Font) OMS/cmsy/b/n --> OMS/ztmcm/m/n on input line 30. LaTeX Font Info: Redeclaring symbol font `largesymbols' on input line 31. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' (Font) OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31. LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' (Font) OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31. \symbold=\mathgroup4 \symitalic=\mathgroup5 LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 34. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' (Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34. LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' (Font) OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34. LaTeX Font Info: Redeclaring math alphabet \mathit on input line 35. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' (Font) OT1/cmr/m/it --> OT1/ptm/m/it on input line 35. LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' (Font) OT1/cmr/bx/it --> OT1/ptm/m/it on input line 35. LaTeX Info: Redefining \hbar on input line 50. ) (/Users/cp/svn/hilbertbernays/trunk/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks16 ) (/Users/cp/svn/hilbertbernays/trunk/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/Users/cp/svn/hilbertbernays/trunk/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 80. (/sw/share/texmf-dist/tex/latex/graphics/pdftex.def File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex \Gread@gobject=\count105 )) \Gin@req@height=\dimen114 \Gin@req@width=\dimen115 ) (/sw/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/sw/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/sw/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex \pgfutil@everybye=\toks17 ) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def \pgfutil@abb=\box29 (/sw/share/texmf-dist/tex/latex/ms/everyshi.sty Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) )) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) )) Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12) (/sw/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/sw/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex \pgfkeys@pathtoks=\toks18 \pgfkeys@temptoks=\toks19 (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex \pgfkeys@tmptoks=\toks20 )) \pgf@x=\dimen116 \pgf@y=\dimen117 \pgf@xa=\dimen118 \pgf@ya=\dimen119 \pgf@xb=\dimen120 \pgf@yb=\dimen121 \pgf@xc=\dimen122 \pgf@yc=\dimen123 \w@pgf@writea=\write3 \r@pgf@reada=\read1 \c@pgf@counta=\count106 \c@pgf@countb=\count107 \c@pgf@countc=\count108 \c@pgf@countd=\count109 (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg File: pgf.cfg 2008/05/14 (rcs-revision 1.7) ) Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) ))) (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) \pgfsyssoftpath@smallbuffer@items=\count110 \pgfsyssoftpath@bigbuffer@items=\count111 ) (/sw/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) )) (/sw/share/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2004/07/04 v2.00 LaTeX color extensions (UK) (/Users/cp/svn/hilbertbernays/trunk/color.cfg File: color.cfg 2004/11/03 v1.1BS1 color configuration of teTeX/TeXLive, change s by Bernd Strieder ) Package xcolor Info: Driver file: pdftex.def on input line 136. Package xcolor Info: Color model `cmy' added on input line 972. Package xcolor Info: Color model `hsb' added on input line 980. Package xcolor Info: Color model `HTML' added on input line 1000. Package xcolor Info: Color model `HSB' added on input line 1006. Package xcolor Info: Color model `Gray' added on input line 1012. ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex \pgfmath@dimen=\dimen124 \pgfmath@count=\count112 \pgfmath@box=\box30 \pgfmath@toks=\toks21 \pgfmath@stack@operand=\toks22 \pgfmath@stack@operation=\toks23 ) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.code. tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.code.tex ) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex))) (/sw/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex \c@pgfmathroundto@lastzeros=\count113 )) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) \pgf@picminx=\dimen125 \pgf@picmaxx=\dimen126 \pgf@picminy=\dimen127 \pgf@picmaxy=\dimen128 \pgf@pathminx=\dimen129 \pgf@pathmaxx=\dimen130 \pgf@pathminy=\dimen131 \pgf@pathmaxy=\dimen132 \pgf@xx=\dimen133 \pgf@xy=\dimen134 \pgf@yx=\dimen135 \pgf@yy=\dimen136 \pgf@zx=\dimen137 \pgf@zy=\dimen138 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code.tex File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) \pgf@path@lastx=\dimen139 \pgf@path@lasty=\dimen140 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) \pgf@shorten@end@additional=\dimen141 \pgf@shorten@start@additional=\dimen142 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) \pgfpic=\box31 \pgf@hbox=\box32 \pgf@layerbox@main=\box33 \pgf@picture@serial@count=\count114 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.tex File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) \pgflinewidth=\dimen143 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.code.te x File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) \pgf@pt@x=\dimen144 \pgf@pt@y=\dimen145 \pgf@pt@temp=\dimen146 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.code.tex File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) \pgf@max=\dimen147 \pgf@sys@shading@range@num=\count115 ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) \pgfexternal@startupbox=\box34 )) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.tex File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) ))) (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13) \pgfnodeparttextbox=\box35 ) (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex File: pgfmoduleplot.code.tex 2010/10/22 (rcs-revision 1.8) ) (/sw/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7) \pgf@nodesepstart=\dimen148 \pgf@nodesepend=\dimen149 ) (/sw/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1) )) (/sw/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/sw/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/sw/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18) \pgffor@iter=\dimen150 \pgffor@skip=\dimen151 \pgffor@stack=\toks24 \pgffor@toks=\toks25 )) (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76) (/sw/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.code.tex File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15) \pgf@plot@mark@count=\count116 \pgfplotmarksize=\dimen152 ) \tikz@lastx=\dimen153 \tikz@lasty=\dimen154 \tikz@lastxsaved=\dimen155 \tikz@lastysaved=\dimen156 \tikzleveldistance=\dimen157 \tikzsiblingdistance=\dimen158 \tikz@figbox=\box36 \tikz@tempbox=\box37 \tikztreelevel=\count117 \tikznumberofchildren=\count118 \tikznumberofcurrentchild=\count119 \tikz@fig@count=\count120 (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4) \pgfmatrixcurrentrow=\count121 \pgfmatrixcurrentcolumn=\count122 \pgf@matrix@numberofcolumns=\count123 ) \tikz@expandcount=\count124 (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryt opaths.code.tex File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2) ))) (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarym atrix.code.tex File: tikzlibrarymatrix.code.tex 2008/06/18 v2.10 (rcs-revision 1.2) ) (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryd ecorations.pathreplacing.code.tex (/sw/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryd ecorations.code.tex (/sw/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.tex \pgfdecoratedcompleteddistance=\dimen159 \pgfdecoratedremainingdistance=\dimen160 \pgfdecoratedinputsegmentcompleteddistance=\dimen161 \pgfdecoratedinputsegmentremainingdistance=\dimen162 \pgf@decorate@distancetomove=\dimen163 \pgf@decorate@repeatstate=\count125 \pgfdecorationsegmentamplitude=\dimen164 \pgfdecorationsegmentlength=\dimen165 ) \tikz@lib@dec@box=\box38 ) (/sw/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydecoratio ns.pathreplacing.code.tex)) (/Users/cp/svn/hilbertbernays/trunk/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks26 \symAMSa=\mathgroup6 \symAMSb=\mathgroup7 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/natbib.sty Package: natbib 2000/07/24 7.0a (PWD) \bibhang=\skip43 \bibsep=\skip44 LaTeX Info: Redefining \cite on input line 508. \c@NAT@ctr=\count126 ) (/Users/cp/svn/hilbertbernays/trunk/headerhot.tex \disp=\skip45 \textwidthminustwomm=\skip46 \textwidthminushalfcm=\skip47 \textwidthminusonecm=\skip48 \textwidthminustwocm=\skip49 \textwidthminusfourcm=\skip50 \textwidthminussixcm=\skip51 \yinibox=\box39 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerproof.tex) (/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex) (/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex) (/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex) (/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex (/Users/cp/svn/hilbertbernays/trunk/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. )) (./all.aux) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 342. LaTeX Font Info: ... okay on input line 342. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 342. LaTeX Font Info: ... okay on input line 342. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 342. LaTeX Font Info: ... okay on input line 342. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 342. LaTeX Font Info: ... okay on input line 342. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 342. LaTeX Font Info: ... okay on input line 342. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 342. LaTeX Font Info: ... okay on input line 342. LaTeX Font Info: Try loading font information for OT1+ptm on input line 342. (/sw/share/texmf-dist/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) \big@size=\dimen166 (/sw/share/texmf-dist/tex/context/base/supp-pdf.tex (/sw/share/texmf-dist/tex/context/base/supp-mis.tex loading : Context Support Macros / Miscellaneous (2004.10.26) \protectiondepth=\count127 \scratchcounter=\count128 \scratchtoks=\toks27 \scratchdimen=\dimen167 \scratchskip=\skip52 \scratchmuskip=\muskip11 \scratchbox=\box40 \scratchread=\read2 \scratchwrite=\write4 \zeropoint=\dimen168 \onepoint=\dimen169 \onebasepoint=\dimen170 \minusone=\count129 \thousandpoint=\dimen171 \onerealpoint=\dimen172 \emptytoks=\toks28 \nextbox=\box41 \nextdepth=\dimen173 \everyline=\toks29 \!!counta=\count130 \!!countb=\count131 \recursecounter=\count132 ) loading : Context Support Macros / PDF (2004.03.26) \nofMPsegments=\count133 \nofMParguments=\count134 \MPscratchCnt=\count135 \MPscratchDim=\dimen174 \MPnumerator=\count136 \everyMPtoPDFconversion=\toks30 ) ABD: EveryShipout initializing macros LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9.5> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 362. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <13> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 362. Package mathptmx Warning: There are no bold math fonts on input line 362. LaTeX Font Info: Calculating math sizes for size <9.5> on input line 362. LaTeX Font Info: Try loading font information for OT1+ztmcm on input line 36 2. (/sw/share/texmf-dist/tex/latex/psnfss/ot1ztmcm.fd File: ot1ztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ztmcm. ) LaTeX Font Info: Try loading font information for OML+ztmcm on input line 36 2. (/sw/share/texmf-dist/tex/latex/psnfss/omlztmcm.fd File: omlztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ztmcm. ) LaTeX Font Info: Try loading font information for OMS+ztmcm on input line 36 2. (/sw/share/texmf-dist/tex/latex/psnfss/omsztmcm.fd File: omsztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMS/ztmcm. ) LaTeX Font Info: Try loading font information for OMX+ztmcm on input line 36 2. (/sw/share/texmf-dist/tex/latex/psnfss/omxztmcm.fd File: omxztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/ztmcm. ) LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7.03004> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 362. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5.70006> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 362. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 362. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <6> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 362. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 362. Underfull \vbox (badness 3668) has occurred while \output is active [] [1{/sw/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] LaTeX Font Info: Try loading font information for OMS+ptm on input line 458. (/sw/share/texmf-dist/tex/latex/psnfss/omsptm.fd File: omsptm.fd ) LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <9.5> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 458. LaTeX Font Warning: Font shape `OMS/cmsy/m/n' in size <9.5> not available (Font) size <9> substituted on input line 458. [2] LaTeX Font Warning: Font shape `OT1/cmss/m/n' in size <9.5> not available (Font) size <9> substituted on input line 528. LaTeX Font Warning: Font shape `OT1/cmtt/m/n' in size <9.5> not available (Font) size <9> substituted on input line 551. [3] LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <8> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 742. [4] Overfull \hbox (5.77946pt too wide) in paragraph at lines 792--833 \OT1/ptm/m/n/9.5 Some authors (cf. e.g. (Stolzen-burg et al, 2003), (Ches[]neva r et al, 2003)) require all arguments[] [] Underfull \vbox (badness 5970) has occurred while \output is active [] [5] Overfull \hbox (12.45055pt too wide) in paragraph at lines 904--969 []$ [] [] Overfull \hbox (17.2566pt too wide) in paragraph at lines 987--1068 []$ [] [] [6] Overfull \hbox (9.58289pt too wide) in paragraph at lines 1172--1233 []$ [] [] [7] [8] [9] Underfull \hbox (badness 1270) in paragraph at lines 1508--1520 \OT1/ptm/m/n/9.5 rule $[] \OMS/ztmcm/m/n/9.5 2 \OT1/ztmcm/m/n/9.5 ^^E \OMS/ztmc m/m/n/9.5 [ \OT1/ztmcm/m/n/9.5 ^^A\OML/ztmcm/m/it/9.5 ;$ \OT1/ptm/m/n/9.5 such that $\OML/ztmcm/m/it/9.5 L[] \OT1/ztmcm/m/n/9.5 = \OML/ztmcm/m/it/9.5 L[]^^[$ \OT1/ptm/m/n/9.5 for some [] [] [10] [11] Overfull \hbox (5.34113pt too wide) in paragraph at lines 1809--1815 \OML/ztmcm/m/it/9.5 i[]\OMS/ztmcm/m/n/9.5 f\OT1/ztmcm/m/n/9.5 0\OML/ztmcm/m/it/ 9.5 ; [] ; n[]\OT1/ztmcm/m/n/9.5 1\OMS/ztmcm/m/n/9.5 g[]$ \OT1/ptm/m/n/9.5 to be prop-erly more spe-cific than an argu-ment that can get along with $[]\OML/z tmcm/m/it/9.5 :$ [] [12] [13] [14] [15] [16] [17] [18] Underfull \hbox (badness 3108) in paragraph at lines 2768--2784 []\OT1/ptm/m/n/9.5 The only sim-pli-fied acti-va-tion set for [] Overfull \hbox (1.84738pt too wide) in paragraph at lines 2878--2888 \OT1/ptm/m/n/9.5 just should add to Ex-am-ple6[] some general rules such as [ ] [] [] [19] [20] Overfull \hbox (4.36151pt too wide) in paragraph at lines 3168--3182 \OT1/ptm/m/n/9.5 Note that if we had im-proved $\U/msa/m/n/9.5 .[]$ \OT1/ptm/m/ n/9.5 only w.r.t. phase1 of \OMS/cmsy/m/n/9 x\OT1/ptm/m/n/9.5 6.1[], but not w .r.t. phase3 [] [] [21] LaTeX Font Info: Font shape `OMS/ptm/m/it' in size <9.5> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 3334. LaTeX Font Warning: Font shape `OMS/cmsy/m/n' in size <9.5> not available (Font) size <9> substituted on input line 3334. [22] Overfull \hbox (2.4943pt too wide) in paragraph at lines 3471--3561 []\OT1/ptm/m/n/9.5 Nevertheless, we have $[][] \OMS/ztmcm/m/n/9.5 6\U/msa/m/n/ 9.5 .[] [][]$\OT1/ptm/m/n/9.5 , be-cause $\OMS/ztmcm/m/n/9.5 f[]\OT1/ztmcm/m/n /9.5 ([])\OMS/ztmcm/m/n/9.5 g ^^R [] Overfull \hbox (34.2412pt too wide) in paragraph at lines 3471--3561 \OT1/ptm/m/n/9.5 for the given argu-ment for $[]\OT1/ztmcm/m/n/9.5 ([])\OML/ztm cm/m/it/9.5 ;$ \OT1/ptm/m/n/9.5 namely the argu-ment $\OT1/ztmcm/m/n/9.5 (\OMS /ztmcm/m/n/9.5 f[]\OT1/ztmcm/m/n/9.5 ([])[][]([])\OMS/ztmcm/m/n/9.5 g\OML/ztmcm /m/it/9.5 ; []\OT1/ztmcm/m/n/9.5 ([]))$\OT1/ptm/m/n/9.5 . [] Overfull \hbox (5.84125pt too wide) in paragraph at lines 3564--3618 \OT1/ptm/m/n/9.5 We have $[][][]$ be-cause $[][][][]$ and be-cause [] [] Overfull \hbox (6.44217pt too wide) in paragraph at lines 3564--3618 []\OT1/ptm/m/n/9.5 We have $[][][]$ be-cause of $[][][][]$ and be-cause, if $\O ML/ztmcm/m/it/9.5 H \OMS/ztmcm/m/n/9.5 ^^R [][]$ [] [23] Overfull \hbox (0.64113pt too wide) in paragraph at lines 3707--3730 \OT1/ptm/m/n/9.5 for fresh con-stant lit-er-als $\OML/ztmcm/m/it/9.5 L[]$ \OT1/ ptm/m/n/9.5 with rules $\OML/ztmcm/m/it/9.5 L[][]L[][]L[]$ \OT1/ptm/m/n/9.5 ad ded to the general rules $\OT1/ztmcm/m/n/9.5 ^^E[]$ \OT1/ptm/m/n/9.5 ($\OML/ztm cm/m/it/9.5 j[]\OMS/ztmcm/m/n/9.5 f\OT1/ztmcm/m/n/9.5 1\OML/ztmcm/m/it/9.5 ; \O T1/ztmcm/m/n/9.5 2\OMS/ztmcm/m/n/9.5 g$\OT1/ptm/m/n/9.5 ). [] Overfull \hbox (14.54417pt too wide) in paragraph at lines 3707--3730 \OT1/ptm/m/n/9.5 In this case, we will call $[]$ the \OT1/ptm/m/it/9.5 con-ju nc-tion \OT1/ptm/m/n/9.5 of the ar-gu-ments $[]$ and $[]\OML/ztmcm/m/it/9.5 :$ [] Overfull \hbox (1.54312pt too wide) in paragraph at lines 3731--3744 []\OT1/ptm/m/n/9.5 This prop-erty is ob-vi-ously given for $\U/msa/m/n/9.5 .[]$ \OT1/ptm/m/n/9.5 in case of $\OML/ztmcm/m/it/9.5 L[]; L[][][][]$ \OT1/ptm/m/ n/9.5 (which im-plies $\OML/ztmcm/m/it/9.5 L[][][][]$\OT1/ptm/m/n/9.5 ) [] [24] Overfull \hbox (26.13757pt too wide) in paragraph at lines 3771--3908 []$ [] [] Overfull \hbox (28.75934pt too wide) in paragraph at lines 3913--4043 []$ [] [] Overfull \hbox (0.28323pt too wide) in paragraph at lines 3913--4043 []\OT1/ptm/m/n/9.5 We have $[] \U/msa/m/n/9.5 .[] []$ \OT1/ptm/m/n/9.5 be-cau se, for every acti-va-tion set $\OML/ztmcm/m/it/9.5 H \OMS/ztmcm/m/n/9.5 ^^R [ ][]$ \OT1/ptm/m/n/9.5 for $\OT1/ztmcm/m/n/9.5 ([][]\OML/ztmcm/m/it/9.5 ; \OT1/c mss/m/n/9 g[]\OT1/ztmcm/m/n/9.5 )$\OT1/ptm/m/n/9.5 , [] [25] [26] Overfull \hbox (12.47778pt too wide) in paragraph at lines 4193--4382 []$ [] [] Underfull \hbox (badness 4013) in paragraph at lines 4193--4382 \OT1/ptm/m/n/9.5 Compare the speci-ficity of the ar-gu-ments $\OT1/ztmcm/m/n/9. 5 ([][][]\OMS/ztmcm/m/n/9.5 A[][]A[]\OML/ztmcm/m/it/9.5 ; [][]\OT1/ztmcm/m/n/9. 5 )$\OT1/ptm/m/n/9.5 , $\OT1/ztmcm/m/n/9.5 ([][][]\OMS/ztmcm/m/n/9.5 A[][]A[]\ OML/ztmcm/m/it/9.5 ; [][]\OT1/ztmcm/m/n/9.5 )$\OT1/ptm/m/n/9.5 , [] Underfull \hbox (badness 10000) in paragraph at lines 4193--4382 []\OT1/ptm/m/n/9.5 We have $[] \U/msa/m/n/9.5 M[] [] M[] [] M[] [] Underfull \hbox (badness 1270) in paragraph at lines 4388--4557 []\OT1/ptm/m/n/9.5 Obviously, $\OT1/cmss/m/n/9 x\OML/ztmcm/m/it/9.5 ; \OMS/ztm cm/m/n/9.5 :\OT1/cmss/m/n/9 x [] [][] \OT1/ztmcm/m/n/9.5 = \OMS/ztmcm/m/n/9.5 f \OT1/cmss/m/n/9 c\OML/ztmcm/m/it/9.5 ; \OT1/cmss/m/n/9 d\OML/ztmcm/m/it/9.5 ; \ OT1/cmss/m/n/9 e\OML/ztmcm/m/it/9.5 ; \OT1/cmss/m/n/9 f\OMS/ztmcm/m/n/9.5 g$\OT 1/ptm/m/n/9.5 . More-over, $\OMS/ztmcm/m/n/9.5 f\OT1/cmss/m/n/9 d\OMS/ztmcm/m/ n/9.5 g ^^R [][]$ \OT1/ptm/m/n/9.5 is an acti-va-tion [] [27] Overfull \hbox (15.25533pt too wide) in paragraph at lines 4564--4632 []$ [] [] [28] [29] [30] [31] [32] LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <9.5> not available (Font) Font shape `OT1/ptm/b/it' tried instead on input line 5470. [33] [34] [35] [36] [37] Overfull \hbox (1.51666pt too wide) in paragraph at lines 6295--6304 \OT1/ptm/m/it/9.5 tions. Then we have $[][][]\OMS/ztmcm/m/n/9.5 ;\OML/ztmcm/m /it/9.5 :$ \OT1/ptm/m/it/9.5 More-over, for every argu-ment, there is ex-actly one [] [] [38] [39] Overfull \hbox (2.57965pt too wide) in paragraph at lines 6443--6443 [] [] Underfull \vbox (badness 10000) has occurred while \output is active [] [40] [41] [42] [43] Underfull \hbox (badness 1635) in paragraph at lines 6769--6784 []\OT1/ptm/m/n/9.5 With the mod-i-fi-ca-tions de-scribed above, let us now come back to our pro-ce- [] [44] Overfull \hbox (0.2981pt too wide) in paragraph at lines 7001--7012 \OT1/ptm/m/n/9.5 et al, 2010) usu-ally de-ter-mine several pos-si-ble an-swer can-di-dates for a given query. For each [] [45] [46] (./all.bbl [47] Underfull \hbox (badness 1616) in paragraph at lines 24--27 []\OT1/ptm/m/n/9.5 Besnard P, Hunter A (2001) A logic-based theory of de-duc-ti ve ar-gu-ments. Ar-ti-fi- [] Underfull \hbox (badness 2050) in paragraph at lines 30--33 []\OT1/ptm/m/n/9.5 Besnard P, Gr[]egoire []E, Rad-daoui B (2013) A con-di-tiona l logic-based ar-gu-men-ta- [] Underfull \hbox (badness 2293) in paragraph at lines 30--33 \OT1/ptm/m/n/9.5 tion frame-work. In (Liu et al, 2013, pp.44--56). $\OT1/cmtt/m /n/9 http : / / dx . doi . org / 10 . 1007 / [] Underfull \hbox (badness 2334) in paragraph at lines 36--40 \OT1/ptm/m/n/9.5 mal logic pro-gram-ming through trans-for-ma-tion prop-er-ties . The-o-ret-i-cal Com-puter [] Underfull \hbox (badness 2707) in paragraph at lines 73--74 []\OT1/ptm/m/n/9.5 Gabbay D (ed) (2002) Hand-book of Philo-soph-i-cal Logic. Kl uwer (Springer Sci- [] Underfull \vbox (badness 10000) has occurred while \output is active [] [48] Underfull \hbox (badness 1383) in paragraph at lines 137--140 []\OT1/ptm/m/n/9.5 Poole DL (1985) On the com-par-i-son of the-o-ries: Pre-fer- ring the most spe-cific ex- [] Underfull \vbox (badness 10000) has occurred while \output is active [] [49]) [50] (./all.aux) LaTeX Font Warning: Size substitutions with differences (Font) up to 0.5pt have occurred. ) Here is how much of TeX's memory you used: 16832 strings out of 94500 282506 string characters out of 1176114 338313 words of memory out of 1500000 19073 multiletter control sequences out of 10000+50000 71088 words of font info for 170 fonts, out of 1200000 for 2000 1221 hyphenation exceptions out of 8191 56i,24n,71p,438b,1018s stack positions out of 5000i,500n,6000p,200000b,5000s PDF statistics: 222 PDF objects out of 65536 0 named destinations out of 20000 13 words of extra memory for PDF output out of 65536 {/sw/share/texmf-dist/fonts/enc/dvips/psnfss/8r.enc} Output written on all.pdf (50 pages, 396626 bytes).