(egg@coli.uni-sb.de) and Alexander Koller (koller@coli . uni-sb . de)

S Y,5 T 0ÎŒ[P652í T ŠWï2Œ[Y,P 0 T ù T / S 5Îï2‹6/ïö: OÎ/9P6QÖ:4J|O û /9PjQ ‹ T P6Š T ï2‹ T ŒU0ΊWY90†0 T ü
S /9ñ•Q6/Ê5ÇïÇ0†36ŠWï2360 T 5 û /0 T Š S Y,5 TmS ó0 TmS /ï T Q•ô B ‹ TS /9Ôñ•Q6/&5ÇïÇ0†3jŠWï23+0 T 5
5Çí“Y,P6QjŒ[P+8
T ŠWY,Õí“Y,5 T Q ð^02Y, ï2‹ T 5†/9 T ïÇ0 T—T ü S ŒU1 T 5236ñ6890†/íj‹65 û ŠWY9020 T 5Çí“Y,P6Q6Œ[P+8 ïÇY
/0
T ï T 0† ðà0†/8, T P|ï25 :#"%$C"&(' ),+.-4/10;+ 32ÇOW: > ! : OÇO û : B; OW: > '+: OÇO û /9P6Q
ï2‹
! O'9Oô "¤3+ï÷ï2‹ T 5 T ðà0†/8, T P|ï25ú/0 T ŠWY,Õí“Y,5 T Q ŒoP Q6ŒDC T 0 T PïÕY90Q T 0mô
:Ç:2525"&-C7
T Š—/9P Q T 52ŠW0ŒUñ T ñHY9ï2‹ S /9ñ“Qj/ 5ÇïÇ0†36ŠWï23+0 T 5ò/ïöY,P6Š T ñ|ó$5Çí T Š—ŒUðàó4Œ[P+8¤ï2‹ T
5
: ! O @ A ¡£¢
A ¡¥¤ @
A B; A
A $&& A ¡£¢¢
<
A ¡ ¢ $&& A 26"&-7 2
@ A ¡¥
A ¡¥ @
A ),+.-4/10;+ 32 A
"%$&"&('
TmS ó û Q T 52ŠW0ŒUí6ï2ŒUY,PÑ: ! ObŒ[5¤52/ï2Œ[5Çî T Qøñóú/ S[Sp> ü°5ÇïÇ0†36ŠWï23+0 T 5Œ[PïÇY2‹6ŒoŠ†‹
õžP|ï236ŒUï2ŒUù
T 890†/íj‹øŒ[Pö: ! O{Š—/9PÎñ TT ñ T QjQ T Q÷Œ[P÷5236Š†‹ø/ ¤/móÕï2‹j/ïbP+Y S /ñ TmS[SUT QÕP+Y4Q T 5
ï2‹
ï2‹ T 890†/íj‹¤Y}ù T 0 S /í ô&Y9ïÇï T Q T Q68 T 5ÎŒ[P$: ! O!52ŒU8,P6Œ[ð^ó ý 1 ¦P4¢ÿ E ð ï2‹ T
Y9ð
T 5–ï2‹ T ó÷ŠWY,P6P T ŠWï û ï2‹ T 36í6í T 0{Y,P T !365Çï–ñ T /ñ“YLù T ï2‹ TÊS Y; T 0Y,P T Œ[P
ï^bYÕP+Y4Q
TS /9Ôñ•Q6/Ê5ÇïÇ0†3jŠWï23+0 T ô B ‹ T Q6/95†‹ T QÕ/0202Y 5 û ðàY90 > üFñ-Œ[P6Q6Œ[P68 û /9ŠWï S Œ[1 T–TmS /95Çï2Œ[Š
ï2‹
û ‹6Œ[Š‹ Š—/9Pòñ T 5ÇïÇ0 T ï2Š‹ T QöŒoP6Q T îjP6Œ[ï TmS ó5ŒUï2‹+Y,36ï–ñj0 T /1ŒoP+8+ô
ñj/9PjQ65
‹ T Q T 5†ŠW0†ŒUí6ï2ŒUY,P SUT /mù T 5Êï2‹ T 0 TmS /ï2ŒUù T Y90†Q T 0†ŒoP+8Îñ T ï T—T PÐï2‹ T ï^bY 7 36/9P4ü
B
T 0÷ðà0†/8, T P|ï25ø3jP65Çí T Š—ŒUî T Q•ô "¤3+ï 52Œ[PjŠ T ñ“Y9ï2‹ ðà0†/8, T P|ï25 Q+Y,ÎŒ[P6/ï T ï2‹ T
ï2ŒUî
T ŠWï2ŒUY,P û Y,P T Y9ð4ï2‹ T ï –Y 7 36/9P|ï2ŒUî T 0 ðà0†/8, T P|ï25Ó!365ÇïÓQ6Y,ÎŒ[P6/ï T
ñ“Y9ïÇïÇY,Èü°3+íQ6ŒU0
T Y9ï2‹ T 0Lô B ‹6Œ[5Ê52ŒUï23j/ï2ŒUY,PÑŒ[5Êù T 02ó¨ŠWY,÷ÕY,P Œ[PÑ52ŠWY9í T 36P6Q T 0†5Çí T Š—ŒUîjŠ—/ï2ŒUY,P ô
ï2‹
Y9ï T ï2‹j/ïù/0†Œ[/ñ S[T ñjŒ[P6Q T 0†5 !365Çï/ S –/Ló5Q+Y,÷Œ[P6/ï T ï2‹ T ŒU0Óñ“Y,36P6QÌù„/0†Œo/ñ SUT 5
Ž
T > üFñjŒ[P6Q6ŒoP+8 0 TmS /ï2ŒUY,Pj5 û > :¡ ¢ O¡ ¦ /9P6Q > :¡ ¢¢ O¡ ûS Y98,Œ[Š—/ S[S ó
5ÇYÐï2‹
P|ï2/9Œ S ï2‹ T Q+Y,ÎŒ[Pj/9P6Š T 0 TmS /ï2ŒUY,Pj5 û ¡¨§¡ © /9P6Q¡¥ ¡ © ôjõžP65 T 02ï2Œ[P68Õï2‹ T 5 T
T
TÊT Q+8 T 5 Œ[P : ! O¤Y,P S ó T P6‹6/9PjŠ T 50 T /9Q6/ñ-Œ S ŒUïNó9ô
Q+Y,÷Œ[P6/9P6Š
4¦3/3 V"!ÿ£¤ > =^ ¡¤:#¢¥%:T¤Çÿ£ û ŒFô T ô S Y98,Œ[Š—/ S ðàY90†!3 S /95ï2‹6/ï{/0 T Œ[Pï T 0†í60 T ï T QÕY}ù T 0
£¤
T Š S /9525 Y9ð > ü°52ïÇ0†36ŠWï23+0 T 5mô B ‹ T PöP+YQ T 5Y9ðï2‹ T 890†/íj‹¨ŠWY9020 T 5Çí“Y,P6QöïÇYúù/0†Œuü
ï2‹
S[T 5Q T P6Y9ï2Œ[P+8 P6YQ T 5Y9ðj/ > ü°52ïÇ0†36ŠWï23+0 T9û ‹ T 0 T /95 S /ñ TmS 5 ûmT Q+8 T 5 û /9P6Q!/0202Y 5
/ñ
T 5Çí“Y,P6QòïÇY ù/0†ŒUY,365 ï°óí T 5 Y9ðb/ïÇY,ÎŒ[Š!ŠWY,P65ÇïÇ0†/9Œ[P|ï25—ô“õžP¨/9Q6QjŒUï2ŒUY,P û 5†36Š†‹Ñ/
ŠWY9020
/ñ TmS[S[T QøP6YQ T 5 û ‹6Œ[Š†‹ TWV Š S 36Q T 5í602Y9í T 0YLù T 0 S /íöY9ðð^0/8, T Pï25mô
S
T ‹6/Lù T 5†/9Œ[Q ï2‹6/ïÈ/öQ T 52ŠW0†ŒUí6ï2Œ[Y,P S ŒU1 T : ! OÌŒ[5!52/ï2Œ[52î T Q ñó / S[S{S /9Ôñ•Q6/
5
¡£¢¥¤§¦©¨¢¥¤¤ !"¢¥#%$&')(*&$¤§
J
:#"%$&"&('
)D+ -4/10+ 32žOW: > '
:4J|O
OW: > ! :
! O '9OÇO :2525"&-C7
ðà0†/8, T P|ï25/9P6Q ï2‹ T ŒU00 TmS /ï2Œ[Y,P652‹6ŒUí-5—ô-C+36Š†‹ /ÎQ T 52ŠW0†ŒUí6ï2Œ[Y,PøŒo58,ŒUù T PòŒ[P : ! Oô
;: A ¡¥¦ )
¡¨§ A
E: A ¡ )
¡¥ A
< A ¡¥©
P36Š SUT /0Î52ŠWY9í T /9P6Q û _Ç3652ï S ŒU1 T ïÇ0 T—T 5 û\> ü°5ÇïÇ0†3jŠWï23+0 T 5ÕŠ—/9P6P+Y9ï÷ñ60†/9P6Š‹
Œ[P¤ï2‹ T
õžP C T ŠWï2Œ[Y,P T Œ S[S 8,ŒUù T í-Œ[ŠWï23+0 T 5 S ŒU1 T : ! O/Õð^Y90Î/ S
T /9PjŒ[P+8Î/95 ¢ =
890†/í-‹6Œ[Š—/ S Q T 52ŠW0†ŒUíjï2ŒUY,P
ŒoÕí“Y,5 T 5ŒoÕí S Œ[Š—Œ[ïÌŒ[P T87 36/ S ŒUïNó ŠWY,P65ÇïÇ0†/9Œ[P|ï25Èñ T ï T—T P
5ÇïÇ036ŠWï23+0 T 5bŒ[PïÇY ‹6Œ[Š‹Õï2‹ T óΊ—/9Púñ TT Ôñ T Q6Q T Q ô,õPÎíj/02ï2Œ[Š—3 S /0 û ï2‹ TS /9Ôñ•Q6/
M-NPOQ¡RTSVU¥W¡MX¡W£X¡M£M£MYS[Z\U#]^Z6_TSV`#NPU