/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / ai / 4257

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 50 61 74 68 3a 20 73 70 | 61 72 6b 79 21 75 75 6e |Path: sp|arky!uun|
|00000010| 65 74 21 7a 61 70 68 6f | 64 2e 6d 70 73 2e 6f 68 |et!zapho|d.mps.oh|
|00000020| 69 6f 2d 73 74 61 74 65 | 2e 65 64 75 21 6d 61 67 |io-state|.edu!mag|
|00000030| 6e 75 73 2e 61 63 73 2e | 6f 68 69 6f 2d 73 74 61 |nus.acs.|ohio-sta|
|00000040| 74 65 2e 65 64 75 21 75 | 73 65 6e 65 74 2e 69 6e |te.edu!u|senet.in|
|00000050| 73 2e 63 77 72 75 2e 65 | 64 75 21 61 67 61 74 65 |s.cwru.e|du!agate|
|00000060| 21 61 6d 65 73 21 68 61 | 76 65 6e 2e 75 6d 64 2e |!ames!ha|ven.umd.|
|00000070| 65 64 75 21 64 61 72 77 | 69 6e 2e 73 75 72 61 2e |edu!darw|in.sura.|
|00000080| 6e 65 74 21 6a 76 6e 63 | 2e 6e 65 74 21 79 61 6c |net!jvnc|.net!yal|
|00000090| 65 2e 65 64 75 21 69 72 | 61 2e 75 6b 61 2e 64 65 |e.edu!ir|a.uka.de|
|000000a0| 21 75 6b 61 21 72 65 69 | 6e 65 72 0a 46 72 6f 6d |!uka!rei|ner.From|
|000000b0| 3a 20 72 65 69 6e 65 72 | 40 69 72 61 2e 75 6b 61 |: reiner|@ira.uka|
|000000c0| 2e 64 65 20 28 52 65 69 | 6e 65 72 20 48 61 65 68 |.de (Rei|ner Haeh|
|000000d0| 6e 6c 65 29 0a 4e 65 77 | 73 67 72 6f 75 70 73 3a |nle).New|sgroups:|
|000000e0| 20 63 6f 6d 70 2e 61 69 | 0a 53 75 62 6a 65 63 74 | comp.ai|.Subject|
|000000f0| 3a 20 43 46 50 20 57 6f | 72 6b 73 68 6f 70 20 6f |: CFP Wo|rkshop o|
|00000100| 6e 20 54 61 62 6c 65 61 | 75 2d 62 61 73 65 64 20 |n Tablea|u-based |
|00000110| 44 65 64 75 63 74 69 6f | 6e 20 28 55 64 61 74 65 |Deductio|n (Udate|
|00000120| 64 2c 4c 61 54 65 58 29 | 0a 44 61 74 65 3a 20 31 |d,LaTeX)|.Date: 1|
|00000130| 32 20 4e 6f 76 20 31 39 | 39 32 20 31 30 3a 31 32 |2 Nov 19|92 10:12|
|00000140| 3a 33 38 20 47 4d 54 0a | 4f 72 67 61 6e 69 7a 61 |:38 GMT.|Organiza|
|00000150| 74 69 6f 6e 3a 20 55 6e | 69 76 65 72 73 69 74 79 |tion: Un|iversity|
|00000160| 20 6f 66 20 4b 61 72 6c | 73 72 75 68 65 2c 20 43 | of Karl|sruhe, C|
|00000170| 6f 6d 70 2e 20 53 63 2e | 20 44 65 70 74 2e 2c 20 |omp. Sc.| Dept., |
|00000180| 46 52 47 0a 4c 69 6e 65 | 73 3a 20 31 38 35 0a 4d |FRG.Line|s: 185.M|
|00000190| 65 73 73 61 67 65 2d 49 | 44 3a 20 3c 31 64 74 61 |essage-I|D: <1dta|
|000001a0| 6d 6d 49 4e 4e 61 75 6f | 40 69 72 61 75 6c 31 2e |mmINNauo|@iraul1.|
|000001b0| 69 72 61 2e 75 6b 61 2e | 64 65 3e 0a 4e 4e 54 50 |ira.uka.|de>.NNTP|
|000001c0| 2d 50 6f 73 74 69 6e 67 | 2d 48 6f 73 74 3a 20 69 |-Posting|-Host: i|
|000001d0| 31 32 73 31 2e 69 72 61 | 2e 75 6b 61 2e 64 65 0a |12s1.ira|.uka.de.|
|000001e0| 0a 0a 25 44 65 61 72 20 | 43 6f 6c 6c 65 61 67 75 |..%Dear |Colleagu|
|000001f0| 65 2c 0a 25 0a 25 70 6c | 65 61 73 65 20 64 69 73 |e,.%.%pl|ease dis|
|00000200| 74 72 69 62 75 74 65 20 | 74 68 65 20 66 6f 6c 6c |tribute |the foll|
|00000210| 77 6f 69 6e 67 20 43 46 | 50 20 61 73 20 77 69 64 |woing CF|P as wid|
|00000220| 65 6c 79 20 61 73 20 70 | 6f 73 73 69 62 6c 65 2e |ely as p|ossible.|
|00000230| 0a 25 0a 0a 5c 64 6f 63 | 75 6d 65 6e 74 73 74 79 |.%..\doc|umentsty|
|00000240| 6c 65 5b 31 31 70 74 5d | 7b 61 72 74 69 63 6c 65 |le[11pt]|{article|
|00000250| 7d 0a 0a 25 25 20 46 61 | 6c 6c 73 20 77 61 73 79 |}..%% Fa|lls wasy|
|00000260| 66 6f 6e 74 2e 74 65 78 | 20 76 6f 72 68 61 6e 64 |font.tex| vorhand|
|00000270| 65 6e 3a 0a 25 0a 25 5c | 64 65 66 5c 73 65 63 6d |en:.%.%\|def\secm|
|00000280| 61 72 6b 65 72 7b 5c 63 | 65 6e 74 65 72 6c 69 6e |arker{\c|enterlin|
|00000290| 65 7b 7b 5c 72 61 69 73 | 65 62 6f 78 7b 2d 30 2e |e{{\rais|ebox{-0.|
|000002a0| 36 70 74 7d 7b 5c 62 66 | 20 2d 2d 2d 7d 5c 68 73 |6pt}{\bf| ---}\hs|
|000002b0| 70 61 63 65 7b 2d 30 2e | 32 70 74 7d 5c 67 6c 75 |pace{-0.|2pt}\glu|
|000002c0| 6f 6e 5c 72 61 69 73 65 | 62 6f 78 7b 2d 30 2e 36 |on\raise|box{-0.6|
|000002d0| 70 74 7d 7b 5c 62 66 20 | 2d 2d 2d 7d 7d 7d 7d 0a |pt}{\bf |---}}}}.|
|000002e0| 25 5c 69 6e 70 75 74 20 | 77 61 73 79 66 6f 6e 74 |%\input |wasyfont|
|000002f0| 0a 25 0a 25 25 20 41 6e | 73 6f 6e 73 74 65 6e 20 |.%.%% An|sonsten |
|00000300| 6f 62 69 67 65 73 20 61 | 75 73 6b 6f 6d 6d 65 6e |obiges a|uskommen|
|00000310| 74 69 65 72 65 6e 20 75 | 6e 64 20 66 6f 6c 67 65 |tieren u|nd folge|
|00000320| 6e 64 65 20 5a 65 69 6c | 65 20 65 69 6e 73 65 74 |nde Zeil|e einset|
|00000330| 7a 65 6e 0a 20 5c 64 65 | 66 5c 73 65 63 6d 61 72 |zen. \de|f\secmar|
|00000340| 6b 65 72 7b 5c 72 65 6c | 61 78 7d 0a 0a 0a 5c 70 |ker{\rel|ax}...\p|
|00000350| 61 67 65 73 74 79 6c 65 | 7b 65 6d 70 74 79 7d 0a |agestyle|{empty}.|
|00000360| 5c 6e 6f 6e 73 74 6f 70 | 6d 6f 64 65 0a 5c 70 61 |\nonstop|mode.\pa|
|00000370| 72 69 6e 64 65 6e 74 3d | 30 70 74 0a 5c 70 61 72 |rindent=|0pt.\par|
|00000380| 73 6b 69 70 3d 35 70 74 | 5c 74 6f 70 73 65 70 3d |skip=5pt|\topsep=|
|00000390| 30 70 74 5c 69 74 65 6d | 73 65 70 3d 30 70 74 0a |0pt\item|sep=0pt.|
|000003a0| 0a 5c 74 65 78 74 68 65 | 69 67 68 74 3d 36 34 30 |.\texthe|ight=640|
|000003b0| 70 74 0a 5c 74 65 78 74 | 77 69 64 74 68 3d 34 37 |pt.\text|width=47|
|000003c0| 30 70 74 0a 5c 74 6f 70 | 6d 61 72 67 69 6e 3d 30 |0pt.\top|margin=0|
|000003d0| 70 74 0a 5c 6f 64 64 73 | 69 64 65 6d 61 72 67 69 |pt.\odds|idemargi|
|000003e0| 6e 3d 30 70 74 0a 5c 65 | 76 65 6e 73 69 64 65 6d |n=0pt.\e|vensidem|
|000003f0| 61 72 67 69 6e 3d 30 70 | 74 0a 5c 61 62 6f 76 65 |argin=0p|t.\above|
|00000400| 64 69 73 70 6c 61 79 73 | 6b 69 70 3d 30 70 74 0a |displays|kip=0pt.|
|00000410| 5c 62 65 6c 6f 77 64 69 | 73 70 6c 61 79 73 6b 69 |\belowdi|splayski|
|00000420| 70 3d 30 70 74 0a 5c 6c | 65 66 74 6d 61 72 67 69 |p=0pt.\l|eftmargi|
|00000430| 6e 3d 2e 34 63 6d 0a 0a | 5c 62 65 67 69 6e 7b 64 |n=.4cm..|\begin{d|
|00000440| 6f 63 75 6d 65 6e 74 7d | 0a 0a 5c 62 69 67 73 6b |ocument}|..\bigsk|
|00000450| 69 70 0a 5c 62 65 67 69 | 6e 7b 63 65 6e 74 65 72 |ip.\begi|n{center|
|00000460| 7d 0a 0a 20 7b 5c 6c 61 | 72 67 65 5c 62 66 20 43 |}.. {\la|rge\bf C|
|00000470| 61 6c 6c 20 66 6f 72 20 | 53 75 62 6d 69 73 73 69 |all for |Submissi|
|00000480| 6f 6e 73 7d 5c 5c 5b 35 | 6d 6d 5d 0a 0a 20 7b 5c |ons}\\[5|mm].. {\|
|00000490| 4c 61 72 67 65 5c 62 66 | 20 57 6f 72 6b 73 68 6f |Large\bf| Worksho|
|000004a0| 70 20 6f 6e 5c 5c 5b 32 | 6d 6d 5d 0a 0a 20 5c 4c |p on\\[2|mm].. \L|
|000004b0| 61 72 67 65 5c 62 66 20 | 54 68 65 6f 72 65 6d 20 |arge\bf |Theorem |
|000004c0| 50 72 6f 76 69 6e 67 20 | 0a 20 77 69 74 68 20 41 |Proving |. with A|
|000004d0| 6e 61 6c 79 74 69 63 20 | 54 61 62 6c 65 61 75 78 |nalytic |Tableaux|
|000004e0| 20 5c 5c 5b 32 6d 6d 5d | 0a 0a 20 5c 4c 61 72 67 | \\[2mm]|.. \Larg|
|000004f0| 65 5c 62 66 20 61 6e 64 | 20 52 65 6c 61 74 65 64 |e\bf and| Related|
|00000500| 20 4d 65 74 68 6f 64 73 | 7d 5c 5c 5b 35 6d 6d 5d | Methods|}\\[5mm]|
|00000510| 0a 0a 20 4d 61 72 73 65 | 69 6c 6c 65 2c 20 46 72 |.. Marse|ille, Fr|
|00000520| 61 6e 63 65 2c 20 20 41 | 70 72 69 6c 20 32 38 2d |ance,  A|pril 28-|
|00000530| 2d 33 30 2c 20 31 39 39 | 33 20 5c 76 73 70 61 63 |-30, 199|3 \vspac|
|00000540| 65 7b 34 70 74 7d 0a 5c | 65 6e 64 7b 63 65 6e 74 |e{4pt}.\|end{cent|
|00000550| 65 72 7d 0a 0a 0a 54 68 | 69 73 20 77 6f 72 6b 73 |er}...Th|is works|
|00000560| 68 6f 70 20 69 73 20 61 | 20 63 6f 6e 74 69 6e 75 |hop is a| continu|
|00000570| 61 74 69 6f 6e 20 6f 66 | 20 61 20 77 6f 72 6b 73 |ation of| a works|
|00000580| 68 6f 70 20 6f 6e 20 74 | 68 65 20 73 61 6d 65 20 |hop on t|he same |
|00000590| 74 6f 70 69 63 20 0a 68 | 65 6c 64 20 69 6e 20 4c |topic .h|eld in L|
|000005a0| 61 75 74 65 6e 62 61 63 | 68 20 6e 65 61 72 20 4b |autenbac|h near K|
|000005b0| 61 72 6c 73 72 75 68 65 | 20 28 47 65 72 6d 61 6e |arlsruhe| (German|
|000005c0| 79 29 20 69 6e 20 4d 61 | 72 63 68 20 31 39 39 32 |y) in Ma|rch 1992|
|000005d0| 20 74 68 61 74 20 68 61 | 64 0a 72 65 6d 61 72 6b | that ha|d.remark|
|000005e0| 61 62 6c 65 20 69 6e 74 | 65 72 6e 61 74 69 6f 6e |able int|ernation|
|000005f0| 61 6c 20 70 61 72 74 69 | 63 69 70 61 74 69 6f 6e |al parti|cipation|
|00000600| 5c 66 6f 6f 74 6e 6f 74 | 65 7b 41 20 74 65 63 68 |\footnot|e{A tech|
|00000610| 6e 69 63 61 6c 20 72 65 | 70 6f 72 74 20 63 6f 6e |nical re|port con|
|00000620| 74 61 69 6e 69 6e 67 20 | 74 68 65 0a 65 78 74 65 |taining |the.exte|
|00000630| 6e 64 65 64 20 61 62 73 | 74 72 61 63 74 73 20 6f |nded abs|tracts o|
|00000640| 66 20 74 68 69 73 20 77 | 6f 72 6b 73 68 6f 70 20 |f this w|orkshop |
|00000650| 69 73 20 61 76 61 69 6c | 61 62 6c 65 20 66 72 6f |is avail|able fro|
|00000660| 6d 20 54 68 6f 6d 61 73 | 20 4b 5c 22 61 75 66 6c |m Thomas| K\"aufl|
|00000670| 2c 20 0a 49 6e 73 74 2e | 7e 66 5c 22 75 72 20 4c |, .Inst.|~f\"ur L|
|00000680| 6f 67 69 6b 2c 20 4b 6f | 6d 70 6c 65 78 69 74 5c |ogik, Ko|mplexit\|
|00000690| 22 61 74 20 75 6e 64 20 | 44 65 64 75 6b 74 69 6f |"at und |Deduktio|
|000006a0| 6e 73 73 79 73 74 65 6d | 65 2c 20 55 6e 69 76 65 |nssystem|e, Unive|
|000006b0| 72 73 69 74 5c 22 61 74 | 0a 4b 61 72 6c 73 72 75 |rsit\"at|.Karlsru|
|000006c0| 68 65 2c 20 41 6d 20 46 | 61 73 61 6e 65 6e 67 61 |he, Am F|asanenga|
|000006d0| 72 74 65 6e 20 35 2c 20 | 37 35 30 30 20 4b 61 72 |rten 5, |7500 Kar|
|000006e0| 6c 73 72 75 68 65 20 31 | 2c 20 47 65 72 6d 61 6e |lsruhe 1|, German|
|000006f0| 79 2c 20 65 2d 2d 6d 61 | 69 6c 3a 20 7b 5c 74 74 |y, e--ma|il: {\tt|
|00000700| 20 6b 61 65 75 66 6c 40 | 69 72 61 2e 75 6b 61 2e | kaeufl@|ira.uka.|
|00000710| 64 65 7d 2e 7d 2e 0a 0a | 5c 73 65 63 6d 61 72 6b |de}.}...|\secmark|
|00000720| 65 72 0a 5c 73 75 62 73 | 65 63 74 69 6f 6e 2a 7b |er.\subs|ection*{|
|00000730| 54 6f 70 69 63 73 20 6f | 66 20 49 6e 74 65 72 65 |Topics o|f Intere|
|00000740| 73 74 7d 0a 0a 0a 47 69 | 76 65 6e 20 74 68 65 20 |st}...Gi|ven the |
|00000750| 69 6e 63 72 65 61 73 65 | 64 20 69 6e 74 65 72 65 |increase|d intere|
|00000760| 73 74 20 69 6e 20 74 61 | 62 6c 65 61 75 78 2d 62 |st in ta|bleaux-b|
|00000770| 61 73 65 64 20 74 68 65 | 6f 72 65 6d 20 70 72 6f |ased the|orem pro|
|00000780| 76 69 6e 67 2c 20 74 68 | 69 73 0a 77 6f 72 6b 73 |ving, th|is.works|
|00000790| 68 6f 70 20 69 6e 74 65 | 6e 64 73 20 74 6f 20 62 |hop inte|nds to b|
|000007a0| 72 69 6e 67 20 74 6f 67 | 65 74 68 65 72 20 72 65 |ring tog|ether re|
|000007b0| 73 65 61 72 63 68 65 72 | 73 20 69 6e 74 65 72 65 |searcher|s intere|
|000007c0| 73 74 65 64 0a 69 6e 20 | 74 68 65 20 6d 65 63 68 |sted.in |the mech|
|000007d0| 61 6e 69 73 61 74 69 6f | 6e 20 6f 66 20 72 65 61 |anisatio|n of rea|
|000007e0| 73 6f 6e 69 6e 67 20 77 | 69 74 68 20 74 61 62 6c |soning w|ith tabl|
|000007f0| 65 61 75 78 20 61 6e 64 | 20 72 65 6c 61 74 65 64 |eaux and| related|
|00000800| 20 73 79 73 74 65 6d 73 | 2e 0a 42 79 20 74 68 69 | systems|..By thi|
|00000810| 73 20 77 65 20 69 6e 63 | 6c 75 64 65 20 28 6e 6f |s we inc|lude (no|
|00000820| 74 20 65 78 63 6c 75 73 | 69 76 65 6c 79 29 3a 0a |t exclus|ively):.|
|00000830| 0a 5c 62 65 67 69 6e 7b | 63 65 6e 74 65 72 7d 5c |.\begin{|center}\|
|00000840| 68 73 70 61 63 65 2a 7b | 32 63 6d 7d 0a 20 20 5c |hspace*{|2cm}.  \|
|00000850| 62 65 67 69 6e 7b 74 61 | 62 75 6c 61 72 7d 7b 70 |begin{ta|bular}{p|
|00000860| 7b 36 63 6d 7d 70 7b 36 | 63 6d 7d 7d 0a 24 5c 62 |{6cm}p{6|cm}}.$\b|
|00000870| 75 6c 6c 65 74 24 20 20 | 61 6e 61 6c 79 74 69 63 |ullet$  |analytic|
|00000880| 20 74 61 62 6c 65 61 75 | 78 0a 26 20 24 5c 62 75 | tableau|x.& $\bu|
|00000890| 6c 6c 65 74 24 20 20 6d | 6f 64 65 6c 20 65 6c 69 |llet$  m|odel eli|
|000008a0| 6d 69 6e 61 74 69 6f 6e | 5c 5c 0a 24 5c 62 75 6c |mination|\\.$\bul|
|000008b0| 6c 65 74 24 20 63 6f 6e | 6e 65 63 74 69 6f 6e 20 |let$ con|nection |
|000008c0| 6d 65 74 68 6f 64 0a 26 | 20 24 5c 62 75 6c 6c 65 |method.&| $\bulle|
|000008d0| 74 24 20 6d 61 74 69 6e | 67 73 0a 5c 65 6e 64 7b |t$ matin|gs.\end{|
|000008e0| 74 61 62 75 6c 61 72 7d | 0a 5c 65 6e 64 7b 63 65 |tabular}|.\end{ce|
|000008f0| 6e 74 65 72 7d 5c 6d 65 | 64 73 6b 69 70 0a 0a 7b |nter}\me|dskip..{|
|00000900| 5c 70 61 72 73 6b 69 70 | 3d 30 70 74 5c 74 6f 70 |\parskip|=0pt\top|
|00000910| 73 65 70 3d 30 70 74 5c | 69 74 65 6d 73 65 70 3d |sep=0pt\|itemsep=|
|00000920| 30 70 74 0a 54 68 65 20 | 77 6f 72 6b 73 68 6f 70 |0pt.The |workshop|
|00000930| 20 68 61 73 20 61 20 64 | 75 61 6c 20 66 6f 63 75 | has a d|ual focu|
|00000940| 73 2c 20 62 72 69 6e 67 | 69 6e 67 20 74 6f 67 65 |s, bring|ing toge|
|00000950| 74 68 65 72 0a 5c 62 65 | 67 69 6e 7b 69 74 65 6d |ther.\be|gin{item|
|00000960| 69 7a 65 7d 0a 5c 70 61 | 72 73 6b 69 70 3d 30 70 |ize}.\pa|rskip=0p|
|00000970| 74 5c 74 6f 70 73 65 70 | 3d 30 70 74 5c 69 74 65 |t\topsep|=0pt\ite|
|00000980| 6d 73 65 70 3d 30 70 74 | 0a 5c 69 74 65 6d 20 70 |msep=0pt|.\item p|
|00000990| 65 6f 70 6c 65 20 77 68 | 6f 20 64 65 76 65 6c 6f |eople wh|o develo|
|000009a0| 70 20 74 61 62 6c 65 61 | 75 78 2d 6c 69 6b 65 20 |p tablea|ux-like |
|000009b0| 63 61 6c 63 75 6c 69 20 | 66 6f 72 0a 20 20 65 76 |calculi |for.  ev|
|000009c0| 65 6e 74 75 61 6c 20 69 | 6d 70 6c 65 6d 65 6e 74 |entual i|mplement|
|000009d0| 61 74 69 6f 6e 20 6f 6e | 20 63 6f 6d 70 75 74 65 |ation on| compute|
|000009e0| 72 73 20 61 6e 64 0a 5c | 69 74 65 6d 20 70 65 6f |rs and.\|item peo|
|000009f0| 70 6c 65 20 77 68 6f 20 | 61 6c 72 65 61 64 79 20 |ple who |already |
|00000a00| 61 72 65 20 69 6e 76 6f | 6c 76 65 64 20 69 6e 20 |are invo|lved in |
|00000a10| 74 68 65 20 70 72 61 63 | 74 69 63 61 6c 20 69 6d |the prac|tical im|
|00000a20| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 20 6f 66 0a |plementa|tion of.|
|00000a30| 20 20 20 74 61 62 6c 65 | 61 75 78 2d 6c 69 6b 65 |   table|aux-like|
|00000a40| 20 63 61 6c 63 75 6c 69 | 2e 20 0a 5c 65 6e 64 7b | calculi|. .\end{|
|00000a50| 69 74 65 6d 69 7a 65 7d | 0a 48 65 6e 63 65 2c 20 |itemize}|.Hence, |
|00000a60| 74 68 65 20 66 6f 63 75 | 73 20 69 6e 63 6c 75 64 |the focu|s includ|
|00000a70| 65 73 20 62 6f 74 68 20 | 74 68 65 6f 72 65 74 69 |es both |theoreti|
|00000a80| 63 61 6c 20 77 6f 72 6b | 20 61 6e 64 0a 74 68 65 |cal work| and.the|
|00000a90| 20 70 72 65 73 65 6e 74 | 61 74 69 6f 6e 20 6f 66 | present|ation of|
|00000aa0| 20 69 6d 70 6c 65 6d 65 | 6e 74 61 74 69 6f 6e 20 | impleme|ntation |
|00000ab0| 74 65 63 68 6e 69 71 75 | 65 73 20 61 6e 64 20 72 |techniqu|es and r|
|00000ac0| 65 6c 61 74 65 64 0a 70 | 72 61 63 74 69 63 61 6c |elated.p|ractical|
|00000ad0| 20 65 78 70 65 72 69 65 | 6e 63 65 2e 7d 0a 57 65 | experie|nce.}.We|
|00000ae0| 20 61 72 65 20 70 61 72 | 74 69 63 75 6c 61 72 6c | are par|ticularl|
|00000af0| 79 20 69 6e 74 65 72 65 | 73 74 65 64 20 69 6e 20 |y intere|sted in |
|00000b00| 70 72 65 73 65 6e 74 61 | 74 69 6f 6e 73 20 6f 66 |presenta|tions of|
|00000b10| 20 70 72 6f 76 65 72 73 | 20 61 6c 72 65 61 64 79 | provers| already|
|00000b20| 0a 75 73 65 64 20 69 6e | 20 61 70 70 6c 69 63 61 |.used in| applica|
|00000b30| 74 69 6f 6e 73 20 6f 72 | 20 64 65 76 65 6c 6f 70 |tions or| develop|
|00000b40| 65 64 20 77 69 74 68 20 | 61 70 70 6c 69 63 61 74 |ed with |applicat|
|00000b50| 69 6f 6e 73 20 69 6e 20 | 6d 69 6e 64 2e 20 0a 54 |ions in |mind. .T|
|00000b60| 61 6c 6b 73 20 61 62 6f | 75 74 20 74 68 65 6f 72 |alks abo|ut theor|
|00000b70| 65 6d 20 70 72 6f 76 69 | 6e 67 20 69 6e 20 6e 6f |em provi|ng in no|
|00000b80| 6e 2d 63 6c 61 73 73 69 | 63 61 6c 20 6c 6f 67 69 |n-classi|cal logi|
|00000b90| 63 73 20 61 72 65 20 61 | 6c 73 6f 20 77 65 6c 63 |cs are a|lso welc|
|00000ba0| 6f 6d 65 2e 0a 0a 0a 5c | 73 65 63 6d 61 72 6b 65 |ome....\|secmarke|
|00000bb0| 72 0a 0a 5c 73 75 62 73 | 65 63 74 69 6f 6e 2a 7b |r..\subs|ection*{|
|00000bc0| 53 75 62 6d 69 73 73 69 | 6f 6e 20 6f 66 20 50 61 |Submissi|on of Pa|
|00000bd0| 70 65 72 73 7d 0a 0a 0a | 41 75 74 68 6f 72 73 20 |pers}...|Authors |
|00000be0| 61 72 65 20 69 6e 76 69 | 74 65 64 20 74 6f 20 73 |are invi|ted to s|
|00000bf0| 75 62 6d 69 74 20 34 20 | 63 6f 70 69 65 73 20 6f |ubmit 4 |copies o|
|00000c00| 66 20 61 6e 20 65 78 74 | 65 6e 64 65 64 20 61 62 |f an ext|ended ab|
|00000c10| 73 74 72 61 63 74 20 6f | 66 20 0a 61 62 6f 75 74 |stract o|f .about|
|00000c20| 20 74 68 72 65 65 20 70 | 61 67 65 73 20 6f 72 20 | three p|ages or |
|00000c30| 61 20 66 75 6c 6c 20 70 | 61 70 65 72 20 28 61 62 |a full p|aper (ab|
|00000c40| 6f 75 74 20 35 30 30 30 | 20 77 6f 72 64 73 29 20 |out 5000| words) |
|00000c50| 69 6e 20 45 6e 67 6c 69 | 73 68 20 62 65 66 6f 72 |in Engli|sh befor|
|00000c60| 65 5c 5c 0a 5c 63 65 6e | 74 65 72 6c 69 6e 65 7b |e\\.\cen|terline{|
|00000c70| 7b 5c 62 66 20 4e 6f 76 | 65 6d 62 65 72 20 33 30 |{\bf Nov|ember 30|
|00000c80| 2c 20 31 39 39 32 7d 7d | 5c 5c 5b 31 65 78 5d 0a |, 1992}}|\\[1ex].|
|00000c90| 74 6f 20 20 52 65 69 6e | 65 72 20 48 5c 22 61 68 |to  Rein|er H\"ah|
|00000ca0| 6e 6c 65 2e 0a 54 68 65 | 20 73 75 62 6d 69 74 74 |nle..The| submitt|
|00000cb0| 65 64 20 70 61 70 65 72 | 73 20 6e 65 65 64 20 6e |ed paper|s need n|
|00000cc0| 6f 74 20 74 6f 20 62 65 | 20 6f 72 69 67 69 6e 61 |ot to be| origina|
|00000cd0| 6c 3b 20 70 6c 65 61 73 | 65 20 69 6e 64 69 63 61 |l; pleas|e indica|
|00000ce0| 74 65 0a 69 66 20 79 6f | 75 72 20 73 75 62 6d 69 |te.if yo|ur submi|
|00000cf0| 73 73 69 6f 6e 20 69 73 | 20 61 6c 72 65 61 64 79 |ssion is| already|
|00000d00| 20 70 75 62 6c 69 73 68 | 65 64 20 6f 72 20 73 75 | publish|ed or su|
|00000d10| 62 6d 69 74 74 65 64 20 | 65 6c 73 65 77 68 65 72 |bmitted |elsewher|
|00000d20| 65 2e 20 41 6c 6c 0a 70 | 61 70 65 72 73 20 77 69 |e. All.p|apers wi|
|00000d30| 6c 6c 20 62 65 20 72 65 | 66 65 72 65 65 64 20 62 |ll be re|fereed b|
|00000d40| 79 0a 74 68 65 20 70 72 | 6f 67 72 61 6d 20 63 6f |y.the pr|ogram co|
|00000d50| 6d 6d 69 74 74 65 65 20 | 61 6e 64 20 61 6c 6c 20 |mmittee |and all |
|00000d60| 73 65 6c 65 63 74 65 64 | 20 61 62 73 74 72 61 63 |selected| abstrac|
|00000d70| 74 73 2f 70 61 70 65 72 | 73 20 77 69 6c 6c 20 62 |ts/paper|s will b|
|00000d80| 65 0a 70 75 62 6c 69 73 | 68 65 64 20 61 73 20 61 |e.publis|hed as a|
|00000d90| 20 74 65 63 68 6e 69 63 | 61 6c 20 72 65 70 6f 72 | technic|al repor|
|00000da0| 74 2e 0a 0a 7b 5c 65 6d | 20 20 54 68 65 20 70 72 |t...{\em|  The pr|
|00000db0| 6f 67 72 61 6d 20 63 6f | 6d 6d 69 74 74 65 65 20 |ogram co|mmittee |
|00000dc0| 77 69 6c 6c 20 70 72 6f | 70 6f 73 65 0a 73 65 6c |will pro|pose.sel|
|00000dd0| 65 63 74 65 64 20 70 61 | 70 65 72 73 20 66 6f 72 |ected pa|pers for|
|00000de0| 20 70 75 62 6c 69 63 61 | 74 69 6f 6e 20 69 6e 20 | publica|tion in |
|00000df0| 61 20 73 70 65 63 69 61 | 6c 0a 65 64 69 74 69 6f |a specia|l.editio|
|00000e00| 6e 20 6f 66 20 74 68 65 | 20 4a 6f 75 72 6e 61 6c |n of the| Journal|
|00000e10| 20 6f 66 20 41 75 74 6f | 6d 61 74 65 64 20 52 65 | of Auto|mated Re|
|00000e20| 61 73 6f 6e 69 6e 67 2e | 7d 0a 0a 5c 73 65 63 6d |asoning.|}..\secm|
|00000e30| 61 72 6b 65 72 5c 76 66 | 69 6c 6c 0a 0a 5c 73 75 |arker\vf|ill..\su|
|00000e40| 62 73 65 63 74 69 6f 6e | 2a 7b 46 75 72 74 68 65 |bsection|*{Furthe|
|00000e50| 72 20 49 6e 66 6f 72 6d | 61 74 69 6f 6e 7d 0a 0a |r Inform|ation}..|
|00000e60| 0a 54 68 65 20 63 6f 6e | 66 65 72 65 6e 63 65 20 |.The con|ference |
|00000e70| 6c 61 6e 67 75 61 67 65 | 20 69 73 20 45 6e 67 6c |language| is Engl|
|00000e80| 69 73 68 20 61 6e 64 20 | 70 72 65 73 65 6e 74 61 |ish and |presenta|
|00000e90| 74 69 6f 6e 73 20 73 68 | 6f 75 6c 64 20 6e 6f 74 |tions sh|ould not|
|00000ea0| 20 65 78 63 65 65 64 0a | 32 35 20 6d 69 6e 75 74 | exceed.|25 minut|
|00000eb0| 65 73 2e 20 20 45 61 63 | 68 20 74 61 6c 6b 20 77 |es.  Eac|h talk w|
|00000ec0| 69 6c 6c 20 62 65 20 66 | 6f 6c 6c 6f 77 65 64 20 |ill be f|ollowed |
|00000ed0| 62 79 20 61 20 64 69 73 | 63 75 73 73 69 6f 6e 20 |by a dis|cussion |
|00000ee0| 6f 66 20 31 30 20 6d 69 | 6e 75 74 65 73 2e 0a 54 |of 10 mi|nutes..T|
|00000ef0| 68 65 20 77 6f 72 6b 73 | 68 6f 70 20 69 73 20 70 |he works|hop is p|
|00000f00| 6c 61 6e 6e 65 64 20 66 | 6f 72 20 61 74 20 6d 6f |lanned f|or at mo|
|00000f10| 73 74 20 33 30 20 74 61 | 6c 6b 73 2e 20 20 4e 6f |st 30 ta|lks.  No|
|00000f20| 74 69 66 69 63 61 74 69 | 6f 6e 20 6f 66 0a 61 63 |tificati|on of.ac|
|00000f30| 63 65 70 74 61 6e 63 65 | 20 77 69 6c 6c 20 62 65 |ceptance| will be|
|00000f40| 20 73 65 6e 74 20 62 79 | 20 74 68 65 20 6d 69 64 | sent by| the mid|
|00000f50| 64 6c 65 20 6f 66 20 46 | 65 62 72 75 61 72 79 20 |dle of F|ebruary |
|00000f60| 31 39 39 33 2e 20 43 6f | 6d 70 75 74 65 72 73 20 |1993. Co|mputers |
|00000f70| 77 69 6c 6c 0a 62 65 20 | 61 76 61 69 6c 61 62 6c |will.be |availabl|
|00000f80| 65 20 61 74 20 74 68 65 | 20 77 6f 72 6b 73 68 6f |e at the| worksho|
|00000f90| 70 20 73 69 74 65 2e 20 | 43 6f 6e 74 61 63 74 20 |p site. |Contact |
|00000fa0| 43 61 6d 69 6c 6c 61 20 | 53 63 68 77 69 6e 64 20 |Camilla |Schwind |
|00000fb0| 20 66 6f 72 20 64 65 74 | 61 69 6c 73 2e 5c 62 69 | for det|ails.\bi|
|00000fc0| 67 73 6b 69 70 0a 0a 0a | 5c 73 65 63 6d 61 72 6b |gskip...|\secmark|
|00000fd0| 65 72 0a 0a 25 0a 7b 5c | 62 66 20 57 6f 72 6b 73 |er..%.{\|bf Works|
|00000fe0| 68 6f 70 20 66 65 65 73 | 3a 7d 20 46 46 20 36 30 |hop fees|:} FF 60|
|00000ff0| 30 20 28 61 70 70 72 6f | 78 69 6d 61 74 65 6c 79 |0 (appro|ximately|
|00001000| 20 55 53 20 5c 24 20 31 | 32 30 29 5c 5c 5b 32 65 | US \$ 1|20)\\[2e|
|00001010| 78 5d 0a 5c 70 61 72 62 | 6f 78 5b 74 5d 7b 38 63 |x].\parb|ox[t]{8c|
|00001020| 6d 7d 7b 0a 7b 5c 62 66 | 20 50 72 6f 67 72 61 6d |m}{.{\bf| Program|
|00001030| 20 43 6f 6d 6d 69 74 74 | 65 65 7d 20 5c 6d 65 64 | Committ|ee} \med|
|00001040| 73 6b 69 70 5c 5c 0a 44 | 61 76 69 64 20 42 61 73 |skip\\.D|avid Bas|
|00001050| 69 6e 2c 20 4d 50 49 20 | 53 61 61 72 62 72 5c 22 |in, MPI |Saarbr\"|
|00001060| 75 63 6b 65 6e 5c 5c 0a | 42 65 72 74 72 61 6d 20 |ucken\\.|Bertram |
|00001070| 46 72 6f 6e 68 5c 22 6f | 66 65 72 2c 20 54 55 20 |Fronh\"o|fer, TU |
|00001080| 4d 75 6e 69 63 68 5c 5c | 0a 4d 61 73 61 79 75 6b |Munich\\|.Masayuk|
|00001090| 69 20 46 75 6a 69 74 61 | 2c 20 4d 69 74 73 75 62 |i Fujita|, Mitsub|
|000010a0| 69 73 68 69 20 49 6e 63 | 2e 5c 5c 0a 52 65 69 6e |ishi Inc|.\\.Rein|
|000010b0| 65 72 20 48 5c 22 61 68 | 6e 6c 65 2c 20 55 6e 69 |er H\"ah|nle, Uni|
|000010c0| 76 65 72 73 69 74 79 20 | 4b 61 72 6c 73 72 75 68 |versity |Karlsruh|
|000010d0| 65 5c 5c 0a 54 68 6f 6d | 61 73 20 4b 5c 22 61 75 |e\\.Thom|as K\"au|
|000010e0| 66 6c 2c 20 55 6e 69 76 | 65 72 73 69 74 79 20 4b |fl, Univ|ersity K|
|000010f0| 61 72 6c 73 72 75 68 65 | 5c 5c 0a 44 6f 6e 20 4c |arlsruhe|\\.Don L|
|00001100| 6f 76 65 6c 61 6e 64 2c | 20 44 75 6b 65 20 55 6e |oveland,| Duke Un|
|00001110| 69 76 65 72 73 69 74 79 | 5c 5c 0a 4e 65 69 6c 20 |iversity|\\.Neil |
|00001120| 4d 75 72 72 61 79 2c 20 | 55 6e 69 76 65 72 73 69 |Murray, |Universi|
|00001130| 74 79 20 61 74 20 41 6c | 62 61 6e 79 20 5c 5c 0a |ty at Al|bany \\.|
|00001140| 4a 6f 61 63 68 69 6d 20 | 50 6f 73 65 67 67 61 2c |Joachim |Posegga,|
|00001150| 20 55 6e 69 76 65 72 73 | 69 74 79 20 4b 61 72 6c | Univers|ity Karl|
|00001160| 73 72 75 68 65 5c 5c 0a | 50 65 74 65 72 20 53 63 |sruhe\\.|Peter Sc|
|00001170| 68 6d 69 74 74 2c 20 55 | 6e 69 76 65 72 73 69 74 |hmitt, U|niversit|
|00001180| 79 20 4b 61 72 6c 73 72 | 75 68 65 5c 5c 0a 43 61 |y Karlsr|uhe\\.Ca|
|00001190| 6d 69 6c 6c 61 20 53 63 | 68 77 69 6e 64 2c 20 43 |milla Sc|hwind, C|
|000011a0| 4e 52 53 20 2d 2d 20 47 | 49 41 2c 20 4d 61 72 73 |NRS -- G|IA, Mars|
|000011b0| 65 69 6c 6c 65 5c 5c 0a | 47 72 61 68 61 6d 20 57 |eille\\.|Graham W|
|000011c0| 72 69 67 68 74 73 6f 6e | 2c 20 4e 65 77 63 61 73 |rightson|, Newcas|
|000011d0| 74 6c 65 20 55 6e 69 76 | 65 72 73 69 74 79 7d 5c |tle Univ|ersity}\|
|000011e0| 68 66 69 6c 6c 0a 5c 70 | 61 72 62 6f 78 5b 74 5d |hfill.\p|arbox[t]|
|000011f0| 7b 38 63 6d 7d 7b 0a 7b | 5c 62 66 20 49 6e 76 69 |{8cm}{.{|\bf Invi|
|00001200| 74 65 64 20 73 70 65 61 | 6b 65 72 73 3a 20 7d 5c |ted spea|kers: }\|
|00001210| 6d 65 64 73 6b 69 70 5c | 5c 0a 4d 65 6c 76 69 6e |medskip\|\.Melvin|
|00001220| 20 46 69 74 74 69 6e 67 | 2c 20 43 55 4e 59 5c 5c | Fitting|, CUNY\\|
|00001230| 0a 4d 61 72 6b 20 53 74 | 69 63 6b 65 6c 2c 20 53 |.Mark St|ickel, S|
|00001240| 52 49 20 49 6e 74 65 72 | 6e 61 74 69 6f 6e 61 6c |RI Inter|national|
|00001250| 5c 76 73 70 61 63 65 7b | 37 2e 34 65 78 7d 5c 5c |\vspace{|7.4ex}\\|
|00001260| 0a 7b 5c 62 66 20 4f 72 | 67 61 6e 69 73 69 6e 67 |.{\bf Or|ganising|
|00001270| 20 43 6f 6d 6d 69 74 74 | 65 65 7d 5c 6d 65 64 73 | Committ|ee}\meds|
|00001280| 6b 69 70 5c 5c 0a 43 61 | 6d 69 6c 6c 61 20 53 63 |kip\\.Ca|milla Sc|
|00001290| 68 77 69 6e 64 2c 20 43 | 4e 52 53 20 2d 2d 20 47 |hwind, C|NRS -- G|
|000012a0| 49 41 2c 20 4d 61 72 73 | 65 69 6c 6c 65 5c 5c 0a |IA, Mars|eille\\.|
|000012b0| 42 65 72 74 72 61 6d 20 | 46 72 6f 6e 68 5c 22 6f |Bertram |Fronh\"o|
|000012c0| 66 65 72 2c 20 54 55 20 | 4d 75 6e 69 63 68 5c 5c |fer, TU |Munich\\|
|000012d0| 0a 52 65 69 6e 65 72 20 | 48 5c 22 61 68 6e 6c 65 |.Reiner |H\"ahnle|
|000012e0| 2c 20 55 6e 69 76 65 72 | 73 69 74 79 20 4b 61 72 |, Univer|sity Kar|
|000012f0| 6c 73 72 75 68 65 5c 5c | 0a 4a 6f 61 63 68 69 6d |lsruhe\\|.Joachim|
|00001300| 20 50 6f 73 65 67 67 61 | 2c 20 55 6e 69 76 65 72 | Posegga|, Univer|
|00001310| 73 69 74 79 20 4b 61 72 | 6c 73 72 75 68 65 5c 5c |sity Kar|lsruhe\\|
|00001320| 0a 44 61 76 69 64 20 42 | 61 73 69 6e 2c 20 4d 50 |.David B|asin, MP|
|00001330| 49 20 53 61 61 72 62 72 | 5c 22 75 63 6b 65 6e 7d |I Saarbr|\"ucken}|
|00001340| 5c 62 69 67 73 6b 69 70 | 0a 0a 0a 5c 73 65 63 6d |\bigskip|...\secm|
|00001350| 61 72 6b 65 72 0a 0a 5c | 73 75 62 73 65 63 74 69 |arker..\|subsecti|
|00001360| 6f 6e 2a 7b 57 6f 72 6b | 73 68 6f 70 20 41 64 64 |on*{Work|shop Add|
|00001370| 72 65 73 73 65 73 7d 0a | 0a 5c 70 61 72 62 6f 78 |resses}.|.\parbox|
|00001380| 5b 74 5d 7b 38 63 6d 7d | 7b 25 0a 7b 5c 65 6d 20 |[t]{8cm}|{%.{\em |
|00001390| 53 75 62 6d 69 73 73 69 | 6f 6e 73 2c 20 63 6f 6e |Submissi|ons, con|
|000013a0| 66 65 72 65 6e 63 65 20 | 64 65 74 61 69 6c 73 3a |ference |details:|
|000013b0| 7d 5c 5c 5b 32 6d 6d 5d | 0a 25 0a 7b 5c 62 66 20 |}\\[2mm]|.%.{\bf |
|000013c0| 52 65 69 6e 65 72 20 48 | 5c 22 61 68 6e 6c 65 7d |Reiner H|\"ahnle}|
|000013d0| 5c 5c 0a 49 6e 73 74 69 | 74 75 74 20 66 5c 22 75 |\\.Insti|tut f\"u|
|000013e0| 72 20 4c 6f 67 69 6b 2c | 20 4b 6f 6d 70 6c 65 78 |r Logik,| Komplex|
|000013f0| 69 74 5c 22 61 74 5c 5c | 20 0a 75 6e 64 20 44 65 |it\"at\\| .und De|
|00001400| 64 75 6b 74 69 6f 6e 73 | 73 79 73 74 65 6d 65 5c |duktions|systeme\|
|00001410| 5c 20 20 0a 55 6e 69 76 | 65 72 73 69 74 5c 22 61 |\  .Univ|ersit\"a|
|00001420| 74 20 4b 61 72 6c 73 72 | 75 68 65 5c 5c 20 0a 41 |t Karlsr|uhe\\ .A|
|00001430| 6d 20 46 61 73 61 6e 65 | 6e 67 61 72 74 65 6e 20 |m Fasane|ngarten |
|00001440| 35 5c 5c 20 20 0a 37 35 | 30 30 20 4b 61 72 6c 73 |5\\  .75|00 Karls|
|00001450| 72 75 68 65 20 31 2c 20 | 0a 47 65 72 6d 61 6e 79 |ruhe 1, |.Germany|
|00001460| 5c 5c 5b 31 6d 6d 5d 0a | 46 61 78 3a 20 24 7b 5c |\\[1mm].|Fax: ${\|
|00001470| 73 63 72 69 70 74 73 74 | 79 6c 65 20 2b 2b 7d 34 |scriptst|yle ++}4|
|00001480| 39 2d 37 32 31 2d 36 39 | 7e 37 37 7e 36 30 24 5c |9-721-69|~77~60$\|
|00001490| 5c 0a 50 68 6f 6e 65 3a | 5c 2c 20 24 7b 5c 73 63 |\.Phone:|\, ${\sc|
|000014a0| 72 69 70 74 73 74 79 6c | 65 20 2b 2b 7d 34 39 2d |riptstyl|e ++}49-|
|000014b0| 37 32 31 2d 36 30 38 2d | 34 33 7e 32 39 24 5c 5c |721-608-|43~29$\\|
|000014c0| 0a 45 6d 61 69 6c 3a 20 | 7b 5c 74 74 20 72 65 69 |.Email: |{\tt rei|
|000014d0| 6e 65 72 7d 40 7b 5c 74 | 74 20 69 72 61 2e 75 6b |ner}@{\t|t ira.uk|
|000014e0| 61 2e 64 65 7d 7d 0a 5c | 68 66 69 6c 6c 0a 5c 70 |a.de}}.\|hfill.\p|
|000014f0| 61 72 62 6f 78 5b 74 5d | 7b 38 63 6d 7d 7b 25 0a |arbox[t]|{8cm}{%.|
|00001500| 7b 5c 65 6d 20 4c 6f 63 | 61 6c 20 61 72 72 61 6e |{\em Loc|al arran|
|00001510| 67 65 6d 65 6e 74 73 3a | 7d 5c 5c 5b 32 6d 6d 5d |gements:|}\\[2mm]|
|00001520| 20 0a 25 0a 7b 5c 62 66 | 20 43 61 6d 69 6c 6c 61 | .%.{\bf| Camilla|
|00001530| 20 53 63 68 77 69 6e 64 | 7d 20 5c 5c 0a 44 5c 27 | Schwind|} \\.D\'|
|00001540| 65 70 2e 20 64 27 49 6e | 66 6f 72 6d 61 74 69 71 |ep. d'In|formatiq|
|00001550| 75 65 5c 5c 0a 46 61 63 | 2e 20 64 65 73 20 53 63 |ue\\.Fac|. des Sc|
|00001560| 69 65 6e 63 65 73 20 64 | 65 20 4c 75 6d 69 6e 79 |iences d|e Luminy|
|00001570| 5c 5c 0a 31 36 33 2c 20 | 61 76 2e 7e 64 65 20 4c |\\.163, |av.~de L|
|00001580| 75 6d 69 6e 79 20 2d 2d | 20 43 61 73 65 20 39 30 |uminy --| Case 90|
|00001590| 31 5c 5c 0a 31 33 32 38 | 38 20 4d 61 72 73 65 69 |1\\.1328|8 Marsei|
|000015a0| 6c 6c 65 20 43 65 64 65 | 78 20 39 2c 0a 46 72 61 |lle Cede|x 9,.Fra|
|000015b0| 6e 63 65 20 5c 5c 5b 31 | 6d 6d 5d 0a 46 61 78 3a |nce \\[1|mm].Fax:|
|000015c0| 20 24 7b 5c 73 63 72 69 | 70 74 73 74 79 6c 65 20 | ${\scri|ptstyle |
|000015d0| 2b 2b 7d 33 33 2d 39 31 | 7e 32 36 7e 39 32 7e 37 |++}33-91|~26~92~7|
|000015e0| 35 24 5c 5c 0a 50 68 6f | 6e 65 3a 5c 2c 24 7b 5c |5$\\.Pho|ne:\,${\|
|000015f0| 73 63 72 69 70 74 73 74 | 79 6c 65 20 2b 2b 7d 33 |scriptst|yle ++}3|
|00001600| 33 2d 39 31 7e 32 36 7e | 39 30 7e 37 30 24 5c 5c |3-91~26~|90~70$\\|
|00001610| 0a 45 6d 61 69 6c 3a 20 | 7b 5c 74 74 20 73 63 68 |.Email: |{\tt sch|
|00001620| 77 69 6e 64 7d 40 7b 5c | 74 74 20 67 69 61 2e 75 |wind}@{\|tt gia.u|
|00001630| 6e 69 76 2d 6d 72 73 2e | 66 72 7d 7d 0a 0a 5c 65 |niv-mrs.|fr}}..\e|
|00001640| 6e 64 7b 64 6f 63 75 6d | 65 6e 74 7d 0a 0a 0a    |nd{docum|ent}... |
+--------+-------------------------+-------------------------+--------+--------+