File:RC-8.0.txt

From Termination-Portal.org
Revision as of 15:04, 1 March 2011 by Zini (talk | contribs) (RC testbed for TPDB 8.0)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

TRS/ICFP_2010/211639.xml

TRS/ICFP_2010/28464.xml

TRS/ICFP_2010/213281.xml

TRS/ICFP_2010/27235.xml

TRS/ICFP_2010/40708.xml

TRS/ICFP_2010/230819.xml

TRS/ICFP_2010/54622.xml

TRS/ICFP_2010/54532.xml

TRS/ICFP_2010/247254.xml

TRS/ICFP_2010/25192.xml

TRS/ICFP_2010/27280.xml

TRS/ICFP_2010/230948.xml

TRS/ICFP_2010/247992.xml

TRS/ICFP_2010/212480.xml

TRS/ICFP_2010/26103.xml

TRS/ICFP_2010/25731.xml

TRS/ICFP_2010/158152.xml

TRS/ICFP_2010/264370.xml

TRS/ICFP_2010/247906.xml

TRS/ICFP_2010/246924.xml

TRS/ICFP_2010/58301.xml

TRS/ICFP_2010/26123.xml

TRS/ICFP_2010/40093.xml

TRS/ICFP_2010/231480.xml

TRS/ICFP_2010/26130.xml

TRS/ICFP_2010/213437.xml

TRS/ICFP_2010/231230.xml

TRS/ICFP_2010/160263.xml

TRS/ICFP_2010/247504.xml

TRS/ICFP_2010/249386.xml

TRS/ICFP_2010/27131.xml

TRS/ICFP_2010/58194.xml

TRS/ICFP_2010/231149.xml

TRS/ICFP_2010/28293.xml

TRS/ICFP_2010/231043.xml

TRS/ICFP_2010/26226.xml

TRS/ICFP_2010/26186.xml

TRS/ICFP_2010/264405.xml

TRS/ICFP_2010/231300.xml

TRS/ICFP_2010/214091.xml

TRS/ICFP_2010/249663.xml

TRS/ICFP_2010/157388.xml

TRS/ICFP_2010/248060.xml

TRS/ICFP_2010/249459.xml

TRS/ICFP_2010/211471.xml

TRS/ICFP_2010/27213.xml

TRS/ICFP_2010/211857.xml

TRS/ICFP_2010/27030.xml

TRS/ICFP_2010/45720.xml

TRS/ICFP_2010/26291.xml

TRS/ICFP_2010/28643.xml

TRS/ICFP_2010/213560.xml

TRS/ICFP_2010/28838.xml

TRS/ICFP_2010/247020.xml

TRS/ICFP_2010/230780.xml

TRS/ICFP_2010/45757.xml

TRS/ICFP_2010/212094.xml

TRS/ICFP_2010/212117.xml

TRS/ICFP_2010/26069.xml

TRS/ICFP_2010/212612.xml

TRS/ICFP_2010/231604.xml

TRS/ICFP_2010/48262.xml

TRS/ICFP_2010/231378.xml

TRS/ICFP_2010/27134.xml

TRS/ICFP_2010/57355.xml

TRS/ICFP_2010/212421.xml

TRS/ICFP_2010/213611.xml

TRS/ICFP_2010/212693.xml

TRS/ICFP_2010/26683.xml

TRS/ICFP_2010/211960.xml

TRS/ICFP_2010/214011.xml

TRS/Mixed_CTRS/quick.xml

TRS/Mixed_TRS/hydra.xml

TRS/Mixed_TRS/jones4.xml

TRS/Mixed_TRS/while.xml

TRS/Mixed_TRS/minsort.xml

TRS/Mixed_TRS/Ex1_Luc04b_GM.xml

TRS/Mixed_TRS/jones5.xml

TRS/Mixed_TRS/hydra-Zantema06.xml

TRS/Mixed_TRS/gcd_triple.xml

TRS/Mixed_TRS/jones1.xml

TRS/Mixed_TRS/test1.xml

TRS/Mixed_TRS/jones6.xml

TRS/Mixed_TRS/perfect.xml

TRS/Mixed_TRS/perfect2.xml

TRS/Mixed_TRS/gcdMinMax.xml

TRS/Mixed_TRS/gcd.xml

TRS/Mixed_TRS/jones2.xml

TRS/Strategy_removed_AG01/#4.30c.xml

TRS/AG01/#3.51.xml

TRS/AG01/#3.53b.xml

TRS/AG01/#3.39.xml

TRS/AG01/#3.22.xml

TRS/AG01/#3.35.xml

TRS/AG01/#3.12.xml

TRS/AG01/#3.54.xml

TRS/AG01/#3.36.xml

TRS/AG01/#3.57.xml

TRS/AG01/#3.40.xml

TRS/AG01/#3.6a.xml

TRS/AG01/#3.4.xml

TRS/AG01/#3.56.xml

TRS/AG01/#3.42.xml

TRS/AG01/#3.5a.xml

TRS/AG01/#3.7.xml

TRS/AG01/#3.52.xml

TRS/AG01/#3.47.xml

TRS/AG01/#3.53a.xml

TRS/AG01/#3.24.xml

TRS/AG01/#3.8b.xml

TRS/AG01/#3.18.xml

TRS/AG01/#3.23.xml

TRS/AG01/#3.37.xml

TRS/AG01/#3.26.xml

TRS/AG01/#3.16.xml

TRS/AG01/#3.33.xml

TRS/AG01/#3.2.xml

TRS/AG01/#4.30c.xml

TRS/AG01/#3.41.xml

TRS/AG01/#3.13.xml

TRS/AG01/#3.5b.xml

TRS/AG01/#3.1.xml

TRS/AG01/#3.19.xml

TRS/AG01/#3.8a.xml

TRS/AG01/#3.48.xml

TRS/AG01/#3.38.xml

TRS/AG01/#3.17.xml

TRS/AG01/#3.29.xml

TRS/AG01/#3.6b.xml

TRS/AG01/#3.10.xml

TRS/AG01/#3.15.xml

TRS/AG01/#3.49.xml

TRS/AG01/#3.53.xml

TRS/AG01/#3.6.xml

TRS/AG01/#3.5.xml

TRS/AG01/#3.17a.xml

TRS/AG01/#3.55.xml

TRS/AG01/#3.31.xml

TRS/GTSSK07/cade09.xml

TRS/GTSSK07/cade03.xml

TRS/GTSSK07/cade07.xml

TRS/GTSSK07/cade08.xml

TRS/GTSSK07/cade17.xml

TRS/GTSSK07/cade13t.xml

TRS/GTSSK07/cade15.xml

TRS/GTSSK07/cade16.xml

TRS/GTSSK07/cade01.xml

TRS/GTSSK07/cade05t.xml

TRS/GTSSK07/cade06.xml

TRS/GTSSK07/cade10.xml

TRS/GTSSK07/cade04t.xml

TRS/GTSSK07/cade12t.xml

TRS/GTSSK07/cade11.xml

TRS/GTSSK07/cade14.xml

TRS/AG01_innermost/#4.37.xml

TRS/AG01_innermost/#4.23.xml

TRS/AG01_innermost/#4.32.xml

TRS/AG01_innermost/#4.27.xml

TRS/AG01_innermost/#4.7.xml

TRS/AG01_innermost/#4.2.xml

TRS/AG01_innermost/#4.31.xml

TRS/AG01_innermost/#4.30a.xml

TRS/AG01_innermost/#4.26.xml

TRS/AG01_innermost/#4.37a.xml

TRS/AG01_innermost/#4.25.xml

TRS/AG01_innermost/#4.22.xml

TRS/AG01_innermost/#4.30b.xml

TRS/AG01_innermost/#4.14.xml

TRS/AG01_innermost/#4.20a.xml

TRS/AG01_innermost/#4.19.xml

TRS/AG01_innermost/#4.30.xml

TRS/AG01_innermost/#4.36.xml

TRS/AG01_innermost/#4.24.xml

TRS/AG01_innermost/#4.17.xml

TRS/AG01_innermost/#4.35.xml

TRS/AG01_innermost/#4.34.xml

TRS/AG01_innermost/#4.29.xml

TRS/AG01_innermost/#4.28.xml

TRS/AG01_innermost/#4.33.xml

TRS/AG01_innermost/#4.16.xml

TRS/HirokawaMiddeldorp_04/t001.xml

TRS/HirokawaMiddeldorp_04/t011.xml

TRS/HirokawaMiddeldorp_04/t004.xml

TRS/HirokawaMiddeldorp_04/t009.xml

TRS/HirokawaMiddeldorp_04/n007.xml

TRS/HirokawaMiddeldorp_04/t002.xml

TRS/HirokawaMiddeldorp_04/t014.xml

TRS/HirokawaMiddeldorp_04/n004.xml

TRS/HirokawaMiddeldorp_04/n006.xml

TRS/HirokawaMiddeldorp_04/n005.xml

TRS/HirokawaMiddeldorp_04/t012.xml

TRS/HirokawaMiddeldorp_04/n002.xml

TRS/HirokawaMiddeldorp_04/t013.xml

TRS/HirokawaMiddeldorp_04/t003.xml

TRS/HirokawaMiddeldorp_04/n003.xml

TRS/Waldmann_06/jwmatchb1.xml

TRS/Waldmann_06/jwmatchb2.xml

TRS/Bouchare_06/12.xml

TRS/Secret_07_TRS/aprove05.xml

TRS/Secret_07_TRS/aprove03.xml

TRS/Secret_07_TRS/aprove07.xml

TRS/Secret_07_TRS/aprove02.xml

TRS/Secret_07_TRS/secret1.xml

TRS/Secret_07_TRS/secret4.xml

TRS/Secret_07_TRS/aprove04.xml

TRS/Secret_07_TRS/aprove06.xml

TRS/Secret_07_TRS/aprove09.xml

TRS/Secret_07_TRS/3.xml

TRS/Secret_07_TRS/aprove01.xml

TRS/Secret_07_TRS/aprove08.xml

TRS/Secret_07_TRS/secret3.xml

TRS/Secret_07_TRS/aprove10.xml

TRS/Secret_07_TRS/secret5.xml

TRS/MNZ_10/labelled.xml

TRS/MNZ_10/nrvsq.xml

TRS/CiME_04/filliatre3.xml

TRS/CiME_04/big.xml

TRS/CiME_04/list-sum-prod-assoc.xml

TRS/CiME_04/append.xml

TRS/CiME_04/list-sum-prod-bin-assoc.xml

TRS/CiME_04/filliatre.xml

TRS/CiME_04/tree.xml

TRS/CiME_04/dpqs.xml

TRS/CiME_04/append-hard.xml

TRS/CiME_04/mucrl1.xml

TRS/CiME_04/maude2.xml

TRS/CiME_04/append-wrong.xml

TRS/CiME_04/fact-hard.xml

TRS/CiME_04/ternary-hard.xml

TRS/CiME_04/list-sum-prod-assoc-append.xml

TRS/CiME_04/lse.xml

TRS/CiME_04/ack_prolog.xml

TRS/CiME_04/list-sum-prod.xml

TRS/CiME_04/log2.xml

TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml

TRS/CiME_04/intersect.xml

TRS/CiME_04/ternary.xml

TRS/CiME_04/list-sum-prod-bin.xml

TRS/CiME_04/filliatre2.xml

TRS/Zantema_06/10.xml

TRS/Zantema_06/04.xml

TRS/Zantema_06/08.xml

TRS/Zantema_06/beans6.xml

TRS/Zantema_06/beans2.xml

TRS/Zantema_06/loop1.xml

TRS/Zantema_06/03.xml

TRS/Zantema_06/09.xml

TRS/Zantema_06/15.xml

TRS/Zantema_06/beans1.xml

TRS/Zantema_06/02.xml

TRS/Zantema_06/07.xml

TRS/Zantema_06/beans3.xml

TRS/Zantema_06/while2.xml

TRS/Zantema_06/while1.xml

TRS/Zantema_06/06.xml

TRS/Zantema_06/01.xml

TRS/Zantema_06/05.xml

TRS/Secret_05_SRS/aprove1.xml

TRS/Secret_05_SRS/aprove3.xml

TRS/Secret_05_SRS/jambox1.xml

TRS/Secret_05_SRS/torpa3.xml

TRS/Secret_05_SRS/matchbox2.xml

TRS/Secret_05_SRS/jambox3.xml

TRS/Secret_05_SRS/torpa1.xml

TRS/Secret_05_SRS/jambox5.xml

TRS/Secret_05_SRS/aprove5.xml

TRS/Secret_05_SRS/torpa4.xml

TRS/Secret_05_SRS/aprove2.xml

TRS/Mixed_SRS/turing_copy.xml

TRS/Mixed_SRS/01-oppelt08.xml

TRS/Mixed_SRS/08-oppelt08.xml

TRS/Mixed_SRS/07-oppelt08.xml

TRS/Mixed_SRS/06-oppelt08.xml

TRS/Mixed_SRS/turing_add.xml

TRS/Mixed_SRS/1.xml

TRS/Mixed_SRS/turing_mult.xml

TRS/Mixed_SRS/07.xml

TRS/Mixed_outermost/ex2.xml

TRS/Mixed_outermost/ex5.xml

TRS/Mixed_outermost/patterns1.xml

TRS/Mixed_outermost/ex1.xml

TRS/Mixed_outermost/non-lin2.xml

TRS/Mixed_outermost/ex6.xml

TRS/Mixed_outermost/afbg.xml

TRS/Mixed_outermost/ex3.xml

TRS/Mixed_outermost/patterns2.xml

TRS/Mixed_outermost/odd.xml

TRS/Mixed_outermost/non-lin3.xml

TRS/Mixed_outermost/non-lin1.xml

TRS/Mixed_outermost/even.xml

TRS/Mixed_outermost/ex4.xml

TRS/Mixed_outermost/gfb.xml

TRS/Secret_06_TRS/reverse.xml

TRS/Secret_06_TRS/10.xml

TRS/Secret_06_TRS/times.xml

TRS/Secret_06_TRS/tpa06.xml

TRS/Secret_06_TRS/gen-28.xml

TRS/Secret_06_TRS/gen-17.xml

TRS/Secret_06_TRS/division.xml

TRS/Secret_06_TRS/double.xml

TRS/Secret_06_TRS/addList.xml

TRS/Secret_06_TRS/tpa10.xml

TRS/Secret_06_TRS/tpa05.xml

TRS/Secret_06_TRS/divExp.xml

TRS/Secret_06_TRS/gen-1.xml

TRS/Secret_06_TRS/tpa07.xml

TRS/Secret_06_TRS/sumList.xml

TRS/Secret_06_TRS/tpa08.xml

TRS/Secret_06_TRS/nrOfNodes.xml

TRS/Secret_06_TRS/tpa09.xml

TRS/Secret_06_TRS/6.xml

TRS/Secret_06_TRS/tpa04.xml

TRS/Secret_06_TRS/4.xml

TRS/Secret_06_TRS/toList.xml

TRS/Secret_06_TRS/logarithm.xml

TRS/AProVE_10/downfrom.xml

TRS/AProVE_10/scnp.xml

TRS/AProVE_10/ex2.xml

TRS/AProVE_10/ex5.xml

TRS/AProVE_10/ex1.xml

TRS/AProVE_10/isList.xml

TRS/AProVE_10/double.xml

TRS/AProVE_10/Zantema06-03-modified.xml

TRS/AProVE_10/ex3.xml

TRS/AProVE_10/halfdouble.xml

TRS/AProVE_10/isNat.xml

TRS/AProVE_10/andIsNat.xml

TRS/AProVE_10/ex4.xml

TRS/AProVE_10/challenge_fab.xml

TRS/Endrullis_06/direct.xml

TRS/Secret_07_SRS/num-527.xml

TRS/Secret_07_SRS/num-514.xml

TRS/Secret_07_SRS/num-530.xml

TRS/Secret_07_SRS/num-539.xml

TRS/Secret_07_SRS/x10.xml

TRS/Secret_07_SRS/x02.xml

TRS/Secret_07_SRS/x01.xml

TRS/Secret_07_SRS/num-521.xml

TRS/Secret_07_SRS/num-525.xml

TRS/Secret_07_SRS/num-515.xml

TRS/Secret_07_SRS/num-518.xml

TRS/Secret_07_SRS/num-520.xml

TRS/Secret_07_SRS/x03.xml

TRS/Secret_07_SRS/num-519.xml

TRS/Secret_07_SRS/x05.xml

TRS/TCT_09/ma3.xml

TRS/TCT_09/shuffle.xml

TRS/TCT_09/addmult.xml

TRS/TCT_09/revappend.xml

TRS/TCT_09/append.xml

TRS/TCT_09/dexpdp2.xml

TRS/TCT_09/nonmultrec.xml

TRS/TCT_09/ma6.xml

TRS/TCT_09/ackantiinn2.xml

TRS/TCT_09/ma7.xml

TRS/TCT_09/ma9.xml

TRS/TCT_09/supexpdg.xml

TRS/TCT_09/add.xml

TRS/TCT_09/ma1.xml

TRS/TCT_09/insertsort.xml

TRS/TCT_09/supexpur.xml

TRS/TCT_09/ackantiinn.xml

TRS/TCT_09/dexpdp.xml

TRS/TCT_09/ma8.xml

TRS/TCT_09/mergesort.xml

TRS/TCT_09/ma4.xml

TRS/TCT_09/qbf.xml

TRS/TCT_09/expantiinn.xml

TRS/TCT_09/lcs.xml

TRS/AProVE_07/thiemann11.xml

TRS/AProVE_07/wiehe03.xml

TRS/AProVE_07/thiemann22.xml

TRS/AProVE_07/thiemann12.xml

TRS/AProVE_07/thiemann33.xml

TRS/AProVE_07/otto06.xml

TRS/AProVE_07/thiemann04.xml

TRS/AProVE_07/wiehe06.xml

TRS/AProVE_07/thiemann16.xml

TRS/AProVE_07/thiemann17.xml

TRS/AProVE_07/otto01.xml

TRS/AProVE_07/otto04.xml

TRS/AProVE_07/thiemann25.xml

TRS/AProVE_07/thiemann26.xml

TRS/AProVE_07/thiemann38.xml

TRS/AProVE_07/wiehe07.xml

TRS/AProVE_07/thiemann24.xml

TRS/AProVE_07/thiemann07.xml

TRS/AProVE_07/thiemann32.xml

TRS/AProVE_07/kabasci01.xml

TRS/AProVE_07/otto13.xml

TRS/AProVE_07/thiemann20.xml

TRS/AProVE_07/thiemann27.xml

TRS/AProVE_07/kabasci04.xml

TRS/AProVE_07/thiemann15.xml

TRS/AProVE_07/otto07.xml

TRS/AProVE_07/kabasci05.xml

TRS/AProVE_07/otto12.xml

TRS/AProVE_07/thiemann01.xml

TRS/AProVE_07/thiemann03.xml

TRS/AProVE_07/wiehe09.xml

TRS/AProVE_07/thiemann10.xml

TRS/AProVE_07/thiemann34.xml

TRS/AProVE_07/wiehe11.xml

TRS/AProVE_07/otto09.xml

TRS/AProVE_07/thiemann08.xml

TRS/AProVE_07/wiehe01.xml

TRS/AProVE_07/thiemann29.xml

TRS/AProVE_07/wiehe02.xml

TRS/AProVE_07/thiemann02.xml

TRS/AProVE_07/thiemann05.xml

TRS/AProVE_07/otto10.xml

TRS/AProVE_07/otto02.xml

TRS/AProVE_07/thiemann09.xml

TRS/AProVE_07/thiemann06.xml

TRS/AProVE_07/otto11.xml

TRS/AProVE_07/thiemann19.xml

TRS/AProVE_07/thiemann23.xml

TRS/AProVE_07/wiehe12.xml

TRS/AProVE_07/thiemann37.xml

TRS/AProVE_07/otto08.xml

TRS/AProVE_07/otto03.xml

TRS/AProVE_07/thiemann40.xml

TRS/AProVE_07/thiemann41.xml

TRS/AProVE_07/thiemann31.xml

TRS/AProVE_07/wiehe08.xml

TRS/AProVE_07/thiemann13.xml

TRS/AProVE_07/thiemann36.xml

TRS/AProVE_07/thiemann21.xml

TRS/AProVE_07/kabasci02.xml

TRS/AProVE_07/thiemann28.xml

TRS/AProVE_07/thiemann18.xml

TRS/AProVE_07/wiehe05.xml

TRS/AProVE_07/thiemann14.xml

TRS/AProVE_07/thiemann30.xml

TRS/AProVE_07/otto05.xml

TRS/AProVE_07/kabasci03.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml

TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml

TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml

TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml

TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml

TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml

TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml

TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml

TRS/SK90/4.60.xml

TRS/SK90/4.38.xml

TRS/SK90/2.16.xml

TRS/SK90/2.44.xml

TRS/SK90/4.29.xml

TRS/SK90/2.11.xml

TRS/SK90/4.10.xml

TRS/SK90/2.17.xml

TRS/SK90/4.48.xml

TRS/SK90/2.61.xml

TRS/SK90/4.53.xml

TRS/SK90/2.27.xml

TRS/SK90/4.57.xml

TRS/SK90/2.40.xml

TRS/SK90/2.09.xml

TRS/SK90/4.05.xml

TRS/SK90/4.06.xml

TRS/SK90/2.53.xml

TRS/SK90/4.16.xml

TRS/SK90/2.21.xml

TRS/SK90/4.25.xml

TRS/SK90/2.47.xml

TRS/SK90/4.42.xml

TRS/SK90/2.41.xml

TRS/SK90/2.02.xml

TRS/SK90/4.47.xml

TRS/SK90/2.45.xml

TRS/SK90/2.03.xml

TRS/SK90/4.17.xml

TRS/SK90/2.51.xml

TRS/SK90/2.12.xml

TRS/SK90/4.45.xml

TRS/SK90/4.31.xml

TRS/SK90/4.43.xml

TRS/SK90/2.15.xml

TRS/SK90/2.25.xml

TRS/SK90/2.24.xml

TRS/SK90/4.26.xml

TRS/SK90/4.59.xml

TRS/SK90/2.38.xml

TRS/SK90/2.18.xml

TRS/SK90/2.14.xml

TRS/SK90/4.18.xml

TRS/SK90/4.28.xml

TRS/SK90/2.50.xml

TRS/SK90/4.34.xml

TRS/SK90/4.13.xml

TRS/SK90/2.22.xml

TRS/SK90/2.36.xml

TRS/SK90/2.37.xml

TRS/SK90/4.07.xml

TRS/SK90/2.59.xml

TRS/SK90/2.20.xml

TRS/SK90/4.12.xml

TRS/SK90/2.28.xml

TRS/SK90/4.54.xml

TRS/SK90/2.31.xml

TRS/SK90/2.48.xml

TRS/SK90/2.13.xml

TRS/SK90/2.54.xml

TRS/SK90/2.55.xml

TRS/SK90/4.22.xml

TRS/SK90/4.61.xml

TRS/SK90/2.42.xml

TRS/SK90/2.26.xml

TRS/SK90/2.19.xml

TRS/SK90/4.51.xml

TRS/SK90/2.23.xml

TRS/SK90/2.07.xml

TRS/SK90/4.35.xml

TRS/SK90/4.24.xml

TRS/SK90/2.39.xml

TRS/SK90/2.49.xml

TRS/SK90/2.43.xml

TRS/SK90/4.09.xml

TRS/SK90/4.30.xml

TRS/SK90/2.30.xml

TRS/SK90/2.29.xml

TRS/SK90/2.52.xml

TRS/AProVE_04/AAECC-ring.xml

TRS/AProVE_04/IJCAR_26.xml

TRS/AProVE_04/Liveness6.3.xml

TRS/AProVE_04/Liveness6.2.xml

TRS/AProVE_04/fac.xml

TRS/AProVE_04/AAECC.xml

TRS/AProVE_04/IJCAR_12.xml

TRS/AProVE_04/rta2.xml

TRS/AProVE_04/LPAR_intlist.xml

TRS/AProVE_04/IJCAR_18.xml

TRS/AProVE_04/Liveness6.4.xml

TRS/AProVE_04/Liveness_WRS.xml

TRS/AProVE_04/IJCAR_26a.xml

TRS/AProVE_04/rta3.xml

TRS/AProVE_04/JFP_Ex31.xml

TRS/AProVE_04/rta1.xml

TRS/AProVE_04/JFP_Ex51.xml

TRS/AProVE_04/IJCAR_1.xml

TRS/AProVE_04/Liveness6.1.xml

TRS/AProVE_04/Liveness8.xml

TRS/Zantema_05/z10.xml

TRS/Zantema_05/z16.xml

TRS/Zantema_05/z12.xml

TRS/Zantema_05/z14.xml

TRS/Zantema_05/z27.xml

TRS/Zantema_05/z28.xml

TRS/Zantema_05/z18.xml

TRS/Zantema_05/z26.xml

TRS/Zantema_05/z17.xml

TRS/Zantema_05/z23.xml

TRS/Zantema_05/z15.xml

TRS/Zantema_05/z24.xml

TRS/Zantema_05/z13.xml

TRS/Beerendonk_07/10.xml

TRS/Beerendonk_07/17.xml

TRS/Beerendonk_07/8.xml

TRS/Beerendonk_07/16.xml

TRS/Beerendonk_07/24.xml

TRS/Beerendonk_07/5.xml

TRS/Beerendonk_07/11.xml

TRS/Beerendonk_07/19.xml

TRS/Beerendonk_07/12.xml

TRS/Beerendonk_07/14.xml

TRS/Beerendonk_07/7.xml

TRS/Beerendonk_07/13.xml

TRS/Beerendonk_07/23.xml

TRS/Beerendonk_07/15.xml

TRS/Beerendonk_07/18.xml

TRS/Beerendonk_07/1.xml

TRS/Beerendonk_07/20.xml

TRS/Beerendonk_07/3.xml

TRS/Beerendonk_07/21.xml

TRS/Beerendonk_07/6.xml

TRS/Beerendonk_07/2.xml

TRS/Beerendonk_07/4.xml

TRS/Beerendonk_07/9.xml

TRS/Beerendonk_07/22.xml

TRS/Transformed_outermost_08/ex5.8.xml

TRS/Transformed_outermost_08/cariboo_ex2.xml

TRS/Transformed_outermost_08/morse.xml

TRS/Transformed_outermost_08/f30.xml

TRS/Transformed_outermost_08/ex5.7.xml

TRS/Transformed_outermost_08/ex5.5.xml

TRS/Transformed_outermost_08/cariboo_ex3.xml

TRS/Transformed_outermost_08/f20.xml

TRS/Transformed_outermost_08/f40.xml

TRS/Transformed_outermost_08/f4.xml

TRS/Transformed_outermost_08/ex5.6.xml

TRS/Transformed_outermost_08/ex5.3.xml

TRS/Transformed_outermost_08/ex5.4.xml

TRS/Transformed_outermost_08/cariboo_ex1.xml

TRS/Zantema_04/z090.xml

TRS/Zantema_04/z124.xml

TRS/Zantema_04/z014.xml

TRS/Zantema_04/z092.xml

TRS/Zantema_04/z020.xml

TRS/Zantema_04/z081.xml

TRS/Zantema_04/z120.xml

TRS/Zantema_04/z047.xml

TRS/Zantema_04/z114.xml

TRS/Zantema_04/z018.xml

TRS/Zantema_04/z046.xml

TRS/Zantema_04/z013.xml

TRS/Zantema_04/syracuse.xml

TRS/Zantema_04/z091.xml

TRS/Zantema_04/z083.xml

TRS/Zantema_04/z082.xml

TRS/Zantema_04/z111.xml

TRS/Zantema_04/z003.xml

TRS/Zantema_04/z107.xml

TRS/Zantema_04/z045.xml

TRS/Zantema_04/z002.xml

TRS/Zantema_04/z042.xml

TRS/Zantema_04/z077.xml

TRS/Zantema_04/z117.xml

TRS/Zantema_04/z004.xml

TRS/Zantema_04/z026.xml

TRS/Zantema_04/z123.xml

TRS/Zantema_04/z043.xml

TRS/Zantema_04/z009.xml

TRS/Zantema_04/z044.xml

TRS/Zantema_04/z010.xml

TRS/Zantema_04/z005.xml

TRS/Zantema_04/z072.xml

TRS/Zantema_04/z017.xml

TRS/Zantema_04/z106.xml

TRS/Zantema_04/z075.xml

TRS/Zantema_04/z065.xml

TRS/Zantema_04/z079.xml

TRS/Zantema_04/z008.xml

TRS/Zantema_04/z100.xml

TRS/Zantema_04/z094.xml

TRS/Zantema_04/z125.xml

TRS/Zantema_04/z074.xml

TRS/Zantema_04/z078.xml

TRS/Zantema_04/z118.xml

TRS/Zantema_04/z103.xml

TRS/Zantema_04/z105.xml

TRS/Zantema_04/z076.xml

TRS/Zantema_04/z073.xml

TRS/Secret_06_SRS/10.xml

TRS/Secret_06_SRS/aprove05.xml

TRS/Secret_06_SRS/aprove03.xml

TRS/Secret_06_SRS/aprove07.xml

TRS/Secret_06_SRS/aprove02.xml

TRS/Secret_06_SRS/secr5.xml

TRS/Secret_06_SRS/7.xml

TRS/Secret_06_SRS/5-matchbox.xml

TRS/Secret_06_SRS/aprove04.xml

TRS/Secret_06_SRS/aprove06.xml

TRS/Secret_06_SRS/aprove09.xml

TRS/Secret_06_SRS/1-matchbox.xml

TRS/Secret_06_SRS/secr4.xml

TRS/Secret_06_SRS/aprove01.xml

TRS/Secret_06_SRS/aprove08.xml

TRS/Secret_06_SRS/secr8.xml

TRS/Secret_06_SRS/9.xml

TRS/Secret_06_SRS/aprove00.xml

TRS/Secret_06_SRS/secr3.xml

TRS/Waldmann_06_SRS/jw3.xml

TRS/Waldmann_06_SRS/pi.xml

TRS/Waldmann_06_SRS/e.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM99_Z.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_FR.xml

TRS/Strategy_outermost_added_08/LISTUTILITIES_complete-noand_L.xml

TRS/Strategy_outermost_added_08/#4.3.xml

TRS/Strategy_outermost_added_08/Ex6_15_AEL02_Z.xml

TRS/Strategy_outermost_added_08/PALINDROME_nokinds_L.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM04.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_L.xml

TRS/Strategy_outermost_added_08/Ex8_BLR02_L.xml

TRS/Strategy_outermost_added_08/Ex5_DLMMU04_L.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_noand_GM.xml

TRS/Strategy_outermost_added_08/ExAppendixB_AEL03.xml

TRS/Strategy_outermost_added_08/test75.xml

TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03_L.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_Z.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_Z.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_GM.xml

TRS/Strategy_outermost_added_08/Ex6_9_Luc02c_L.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM04_L.xml

TRS/Strategy_outermost_added_08/LISTUTILITIES_complete_L.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts_Z.xml

TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_FR.xml

TRS/Strategy_outermost_added_08/OvConsOS_complete-noand_L.xml

TRS/Strategy_outermost_added_08/Ex3_2_Luc97_L.xml

TRS/Strategy_outermost_added_08/MYNAT_complete_L.xml

TRS/Strategy_outermost_added_08/PEANO_nosorts-noand_L.xml

TRS/Strategy_outermost_added_08/#4.4.xml

TRS/Strategy_outermost_added_08/PALINDROME_nosorts_L.xml

TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts_L.xml

TRS/Strategy_outermost_added_08/Ex4_Zan97.xml

TRS/Strategy_outermost_added_08/Ex7_BLR02.xml

TRS/Strategy_outermost_added_08/Ex1_Luc04b_FR.xml

TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03_Z.xml

TRS/Strategy_outermost_added_08/Ex4_DLMMU04_Z.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_Z.xml

TRS/Strategy_outermost_added_08/Ex1_2_Luc02c.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_iGM.xml

TRS/Strategy_outermost_added_08/PALINDROME_complete_L.xml

TRS/Strategy_outermost_added_08/Ex14_Luc06_FR.xml

TRS/Strategy_outermost_added_08/Ex1_GM99_FR.xml

TRS/Strategy_outermost_added_08/Ex4_7_15_Bor03.xml

TRS/Strategy_outermost_added_08/#4.7.xml

TRS/Strategy_outermost_added_08/Ex9_BLR02.xml

TRS/Strategy_outermost_added_08/OvConsOS_nokinds_L.xml

TRS/Strategy_outermost_added_08/Ex1_GM03_Z.xml

TRS/Strategy_outermost_added_08/MYNAT_complete-noand_L.xml

TRS/Strategy_outermost_added_08/ExConc_Zan97.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_L.xml

TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds_L.xml

TRS/Strategy_outermost_added_08/#4.2.xml

TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03_L.xml

TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_Z.xml

TRS/Strategy_outermost_added_08/test10.xml

TRS/Strategy_outermost_added_08/#4.13.xml

TRS/Strategy_outermost_added_08/Ex1_Zan97_FR.xml

TRS/Strategy_outermost_added_08/Ex1_GL02a.xml

TRS/Strategy_outermost_added_08/PEANO_complete-noand_L.xml

TRS/Strategy_outermost_added_08/Ex6_15_AEL02_L.xml

TRS/Strategy_outermost_added_08/Ex1_Zan97_L.xml

TRS/Strategy_outermost_added_08/Ex1_Luc04b_Z.xml

TRS/Strategy_outermost_added_08/muladd.xml

TRS/Strategy_outermost_added_08/jwno1.xml

TRS/Strategy_outermost_added_08/Ex5_Zan97_L.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_Z.xml

TRS/Strategy_outermost_added_08/Ex5_Zan97.xml

TRS/Strategy_outermost_added_08/Ex4_Zan97_L.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete_L.xml

TRS/Strategy_outermost_added_08/Ex15_Luc98.xml

TRS/Strategy_outermost_added_08/jwno6.xml

TRS/Strategy_outermost_added_08/Ex1_Luc04b_L.xml

TRS/Strategy_outermost_added_08/Ex14_Luc06_GM.xml

TRS/Strategy_outermost_added_08/Ex1_2_AEL03_L.xml

TRS/Strategy_outermost_added_08/PEANO_complete_L.xml

TRS/Strategy_outermost_added_08/Ex4_7_77_Bor03.xml

TRS/Strategy_outermost_added_08/Ex5_7_Luc97.xml

TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_Z.xml

TRS/Strategy_outermost_added_08/Ex3_12_Luc96a_L.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM01.xml

TRS/Strategy_outermost_added_08/PEANO_nosorts_L.xml

TRS/Strategy_outermost_added_08/Ex14_AEGL02_L.xml

TRS/Strategy_outermost_added_08/test9.xml

TRS/Strategy_outermost_added_08/Ex1_GM99_GM.xml

TRS/Strategy_outermost_added_08/Ex6_Luc98.xml

TRS/Strategy_outermost_added_08/MYNAT_nokinds-noand_L.xml

TRS/Strategy_outermost_added_08/MYNAT_nokinds_L.xml

TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03_L.xml

TRS/Strategy_outermost_added_08/MYNAT_nosorts_L.xml

TRS/Strategy_outermost_added_08/Ex14_Luc06_L.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts_GM.xml

TRS/Strategy_outermost_added_08/Ex26_Luc03b.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_L.xml

TRS/Strategy_outermost_added_08/#4.14.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM01_L.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds-noand_L.xml

TRS/Strategy_outermost_added_08/Ex4_4_Luc96b_FR.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts_FR.xml

TRS/Strategy_outermost_added_08/jwno4.xml

TRS/Strategy_outermost_added_08/Ex15_Luc06_L.xml

TRS/Strategy_outermost_added_08/Ex49_GM04_L.xml

TRS/Strategy_outermost_added_08/Ex1_2_Luc02c_L.xml

TRS/Strategy_outermost_added_08/ExAppendixB_AEL03_L.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM99.xml

TRS/Strategy_outermost_added_08/ExIntrod_Zan97.xml

TRS/Strategy_outermost_added_08/#4.12a.xml

TRS/Strategy_outermost_added_08/Ex14_AEGL02.xml

TRS/Strategy_outermost_added_08/ExConc_Zan97_Z.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts_FR.xml

TRS/Strategy_outermost_added_08/OvConsOS_complete_L.xml

TRS/Strategy_outermost_added_08/Ex15_Luc98_L.xml

TRS/Strategy_outermost_added_08/Ex4_DLMMU04_FR.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM04_FR.xml

TRS/Strategy_outermost_added_08/Ex6_15_AEL02.xml

TRS/Strategy_outermost_added_08/Ex2_Luc03b.xml

TRS/Strategy_outermost_added_08/Ex24_Luc06_L.xml

TRS/Strategy_outermost_added_08/Ex5_7_Luc97_L.xml

TRS/Strategy_outermost_added_08/Ex1_GL02a_L.xml

TRS/Strategy_outermost_added_08/Ex3_3_25_Bor03.xml

TRS/Strategy_outermost_added_08/toyama.xml

TRS/Strategy_outermost_added_08/OvConsOS_nokinds-noand_L.xml

TRS/Strategy_outermost_added_08/Ex1_GM99_iGM.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_FR.xml

TRS/Strategy_outermost_added_08/Ex3_2_Luc97.xml

TRS/Strategy_outermost_added_08/Ex1_GM03.xml

TRS/Strategy_outermost_added_08/Ex6_GM04.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_L.xml

TRS/Strategy_outermost_added_08/n001.xml

TRS/Strategy_outermost_added_08/Ex4_7_56_Bor03.xml

TRS/Strategy_outermost_added_08/Ex9_Luc04_L.xml

TRS/Strategy_outermost_added_08/Ex14_AEGL02_FR.xml

TRS/Strategy_outermost_added_08/Ex24_GM04_GM.xml

TRS/Strategy_outermost_added_08/gkg.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM01_FR.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM04_Z.xml

TRS/Strategy_outermost_added_08/#4.17.xml

TRS/Strategy_outermost_added_08/Ex1_GM99_L.xml

TRS/Strategy_outermost_added_08/Ex1_Zan97.xml

TRS/Strategy_outermost_added_08/Ex4_4_Luc96b.xml

TRS/Strategy_outermost_added_08/Ex6_9_Luc02c.xml

TRS/Strategy_outermost_added_08/Ex14_AEGL02_Z.xml

TRS/Strategy_outermost_added_08/PEANO_nokinds-noand_L.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM01_Z.xml

TRS/Strategy_outermost_added_08/jwno9.xml

TRS/Strategy_outermost_added_08/Ex16_Luc06_L.xml

TRS/Strategy_outermost_added_08/Ex5_DLMMU04_FR.xml

TRS/Strategy_outermost_added_08/ExIntrod_Zan97_L.xml

TRS/Strategy_outermost_added_08/PEANO_nokinds_L.xml

TRS/Strategy_outermost_added_08/Ex8_BLR02.xml

TRS/Strategy_outermost_added_08/test77.xml

TRS/Strategy_outermost_added_08/Ex1_Luc02b.xml

TRS/Strategy_outermost_added_08/Ex5_DLMMU04_Z.xml

TRS/Strategy_outermost_added_08/Ex6_GM04_FR.xml

TRS/Strategy_outermost_added_08/Ex9_Luc04_GM.xml

TRS/Strategy_outermost_added_08/MYNAT_nosorts-noand_L.xml

TRS/Strategy_outermost_added_08/LISTUTILITIES_nosorts-noand_L.xml

TRS/Strategy_outermost_added_08/Ex24_Luc06_iGM.xml

TRS/Strategy_outermost_added_08/ExSec4_2_DLMMU04_L.xml

TRS/Strategy_outermost_added_08/Ex7_BLR02_L.xml

TRS/Strategy_outermost_added_08/Ex24_GM04_L.xml

TRS/Strategy_outermost_added_08/Ex3_12_Luc96a.xml

TRS/Strategy_outermost_added_08/#4.15.xml

TRS/Strategy_outermost_added_08/Ex1_GM03_L.xml

TRS/Strategy_outermost_added_08/Ex1_2_AEL03.xml

TRS/Strategy_outermost_added_08/Ex9_Luc04_FR.xml

TRS/Strategy_outermost_added_08/Ex24_GM04.xml

TRS/Strategy_outermost_added_08/ExSec11_1_Luc02a.xml

TRS/Strategy_outermost_added_08/Ex24_Luc06_GM.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts_L.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_complete-noand_L.xml

TRS/Strategy_outermost_added_08/Ex1_GL02a_Z.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nosorts-noand_FR.xml

TRS/Strategy_outermost_added_08/Ex1_Luc02b_L.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts_noand_GM.xml

TRS/Strategy_outermost_added_08/Ex4_DLMMU04_L.xml

TRS/Strategy_outermost_added_08/LISTUTILITIES_nokinds-noand_L.xml

TRS/Strategy_outermost_added_08/LengthOfFiniteLists_nokinds_FR.xml

TRS/Strategy_outermost_added_08/#4.18.xml

TRS/Strategy_outermost_added_08/OvConsOS_nosorts-noand_FR.xml

TRS/Strategy_outermost_added_08/Ex9_Luc06_FR.xml

TRS/Strategy_outermost_added_08/#4.16.xml

TRS/Strategy_outermost_added_08/PALINDROME_complete-noand_L.xml

TRS/Strategy_outermost_added_08/ExIntrod_Zan97_Z.xml

TRS/Strategy_outermost_added_08/Ex1_GM99.xml

TRS/Strategy_outermost_added_08/Ex4_7_37_Bor03.xml

TRS/Strategy_outermost_added_08/Ex24_Luc06_FR.xml

TRS/Strategy_outermost_added_08/ExIntrod_GM99_L.xml

TRS/Strategy_outermost_added_08/test76.xml

TRS/Strategy_outermost_added_08/PALINDROME_nokinds-noand_L.xml

TRS/AProVE_09_Inductive/qsortlast.xml

TRS/AProVE_09_Inductive/minsort.xml

TRS/AProVE_09_Inductive/zerolist.xml

TRS/AProVE_09_Inductive/mod.xml

TRS/AProVE_09_Inductive/div.xml

TRS/AProVE_09_Inductive/gcdhard.xml

TRS/AProVE_09_Inductive/divhard.xml

TRS/AProVE_09_Inductive/qsort.xml

TRS/AProVE_09_Inductive/gcd2.xml

TRS/AProVE_09_Inductive/qsortmiddle.xml

TRS/AProVE_09_Inductive/maxsortcondition.xml

TRS/AProVE_09_Inductive/log.xml

TRS/AProVE_09_Inductive/gcd.xml

TRS/AProVE_09_Inductive/maxsort.xml

TRS/AProVE_08/id_inc.xml

TRS/AProVE_08/parting03_minsort.xml

TRS/AProVE_08/parting05_maxsort.xml

TRS/AProVE_08/round_nonterm.xml

TRS/AProVE_08/log.xml

TRS/AProVE_08/parting04_maxsort_h.xml

TRS/AProVE_08/parting01_reverse.xml

TRS/AProVE_08/thiemann40_modified.xml

TRS/AProVE_08/round.xml

TRS/AProVE_08/parting02_doublelist.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml

TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml

TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml

TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml

TRS/Various_04/10.xml

TRS/Various_04/04.xml

TRS/Various_04/08.xml

TRS/Various_04/24.xml

TRS/Various_04/11.xml

TRS/Various_04/12.xml

TRS/Various_04/14.xml

TRS/Various_04/13.xml

TRS/Various_04/23.xml

TRS/Various_04/15.xml

TRS/Various_04/18.xml

TRS/Various_04/22.xml

TRS/Mixed_innermost/wiehe13.xml

TRS/Mixed_innermost/test10.xml

TRS/Mixed_innermost/muladd.xml

TRS/Mixed_innermost/cade12.xml

TRS/Mixed_innermost/cade13.xml

TRS/Mixed_innermost/tricky1.xml

TRS/Mixed_innermost/test830.xml

TRS/Mixed_innermost/innermost4.xml

TRS/Mixed_innermost/cade04.xml

TRS/Mixed_innermost/test77.xml

TRS/Mixed_innermost/innermost5.xml

TRS/Mixed_innermost/cade05.xml

TRS/Mixed_innermost/wiehe14.xml

TRS/Mixed_innermost/test76.xml

TRS/AProVE_06/div_notCeTermin.xml

TRS/AProVE_06/sizeChange.xml

TRS/AProVE_06/identity.xml

TRS/AProVE_06/nonterm.xml

TRS/AProVE_06/quot.xml

TRS/AProVE_06/tower.xml

TRS/AProVE_06/tower_sizeChange.xml

TRS/AProVE_06/quicksort.xml

TRS/AProVE_06/factorial1.xml

TRS/AProVE_06/modulo.xml

TRS/AProVE_06/factorial2.xml

TRS/AProVE_06/div_notTermin.xml

TRS/AProVE_06/logarithm.xml

TRS/CSR_04/Ex14_Luc06.xml

TRS/CSR_04/ExIntrod_GM04.xml

TRS/CSR_04/ExAppendixB_AEL03.xml

TRS/CSR_04/ExSec4_2_DLMMU04.xml

TRS/CSR_04/Ex49_GM04.xml

TRS/CSR_04/Ex4_Zan97.xml

TRS/CSR_04/Ex7_BLR02.xml

TRS/CSR_04/Ex25_Luc06.xml

TRS/CSR_04/Ex1_2_Luc02c.xml

TRS/CSR_04/Ex4_7_15_Bor03.xml

TRS/CSR_04/Ex24_Luc06.xml

TRS/CSR_04/Ex9_BLR02.xml

TRS/CSR_04/ExConc_Zan97.xml

TRS/CSR_04/ExProp7_Luc06.xml

TRS/CSR_04/Ex1_GL02a.xml

TRS/CSR_04/Ex5_Zan97.xml

TRS/CSR_04/Ex15_Luc98.xml

TRS/CSR_04/Ex9_Luc06.xml

TRS/CSR_04/Ex4_7_77_Bor03.xml

TRS/CSR_04/Ex5_7_Luc97.xml

TRS/CSR_04/ExIntrod_GM01.xml

TRS/CSR_04/Ex5_DLMMU04.xml

TRS/CSR_04/Ex6_Luc98.xml

TRS/CSR_04/Ex16_Luc06.xml

TRS/CSR_04/Ex15_Luc06.xml

TRS/CSR_04/Ex26_Luc03b.xml

TRS/CSR_04/Ex4_DLMMU04.xml

TRS/CSR_04/ExIntrod_GM99.xml

TRS/CSR_04/ExIntrod_Zan97.xml

TRS/CSR_04/Ex14_AEGL02.xml

TRS/CSR_04/Ex23_Luc06.xml

TRS/CSR_04/Ex6_15_AEL02.xml

TRS/CSR_04/Ex2_Luc03b.xml

TRS/CSR_04/Ex2_Luc02a.xml

TRS/CSR_04/Ex3_3_25_Bor03.xml

TRS/CSR_04/Ex3_2_Luc97.xml

TRS/CSR_04/Ex1_GM03.xml

TRS/CSR_04/Ex6_GM04.xml

TRS/CSR_04/Ex4_7_56_Bor03.xml

TRS/CSR_04/Ex1_Zan97.xml

TRS/CSR_04/Ex4_4_Luc96b.xml

TRS/CSR_04/Ex9_Luc04.xml

TRS/CSR_04/Ex6_9_Luc02c.xml

TRS/CSR_04/ExSec11_1_Luc02a-TRCSR.xml

TRS/CSR_04/Ex8_BLR02.xml

TRS/CSR_04/Ex1_Luc02b.xml

TRS/CSR_04/Ex3_12_Luc96a.xml

TRS/CSR_04/Ex1_2_AEL03.xml

TRS/CSR_04/Ex24_GM04.xml

TRS/CSR_04/ExSec11_1_Luc02a.xml

TRS/CSR_04/Ex1_Luc04b.xml

TRS/CSR_04/Ex1_GM99.xml

TRS/CSR_04/Ex4_7_37_Bor03.xml

TRS/Der95/32.xml

TRS/Der95/08.xml

TRS/Der95/11.xml

TRS/Der95/12.xml

TRS/Der95/27.xml

TRS/Der95/18.xml

TRS/Der95/20.xml

TRS/Der95/33.xml

TRS/Der95/21.xml

TRS/Der95/07.xml

TRS/Der95/31.xml

TRS/Der95/06.xml

TRS/Secret_05_TRS/aprove4.xml

TRS/Secret_05_TRS/aprove3.xml

TRS/Secret_05_TRS/tpa5.xml

TRS/Secret_05_TRS/tpa1.xml

TRS/Secret_05_TRS/tpa4.xml

TRS/Secret_05_TRS/cime3.xml

TRS/Secret_05_TRS/ttt1.xml

TRS/Secret_05_TRS/cime4.xml

TRS/Secret_05_TRS/tpa3.xml

TRS/Secret_05_TRS/tpa2.xml

TRS/Secret_05_TRS/cime2.xml

TRS/Secret_05_TRS/ttt2.xml

TRS/Secret_05_TRS/aprove5.xml

TRS/Secret_05_TRS/cime5.xml

TRS/Secret_05_TRS/aprove2.xml

TRS/Rubio_04/polo2.xml

TRS/Rubio_04/bintrees.xml

TRS/Rubio_04/mfp95.xml

TRS/Rubio_04/wst99.xml

TRS/Rubio_04/division.xml

TRS/Rubio_04/gmnp.xml

TRS/Rubio_04/quick.xml

TRS/Rubio_04/p266.xml

TRS/Rubio_04/ma96.xml

TRS/Rubio_04/elimdupl.xml

TRS/Rubio_04/selsort.xml

TRS/Rubio_04/prov.xml

TRS/Rubio_04/revlist.xml

TRS/Rubio_04/gm.xml

TRS/Rubio_04/nestrec.xml

TRS/Rubio_04/enno.xml

TRS/Rubio_04/quotminus.xml

TRS/Rubio_04/test4.xml

TRS/Rubio_04/gcd.xml

TRS/Rubio_04/logarquot.xml

TRS/Rubio_04/bn122.xml

TRS/Rubio_04/koen.xml

TRS/Rubio_04/test829.xml

TRS/Zantema_08/yoyo_3.xml

TRS/Zantema_08/f_5_1.xml

TRS/Zantema_08/g_2_const.xml

TRS/Zantema_08/ex2.xml

TRS/Zantema_08/ex5.xml

TRS/Zantema_08/bintree.xml

TRS/Zantema_08/cariboo_nl_3.xml

TRS/Zantema_08/assoc_f_rhs.xml

TRS/Zantema_08/ex1.xml

TRS/Zantema_08/morse.xml

TRS/Zantema_08/ex8.xml

TRS/Zantema_08/f_2_2.xml

TRS/Zantema_08/cariboo_add3.xml

TRS/Zantema_08/ex6.xml

TRS/Zantema_08/countter.xml

TRS/Zantema_08/ex7.xml

TRS/Zantema_08/from_three.xml

TRS/Zantema_08/cariboo_add2a.xml

TRS/Zantema_08/ex3.xml

TRS/Zantema_08/toyama_stop.xml

TRS/Zantema_08/yoyo_3b.xml

TRS/Zantema_08/outermost_gr.xml

TRS/Zantema_08/ex0.xml

TRS/Zantema_08/cariboo_add2.xml

TRS/Zantema_08/yoyo_3a.xml

TRS/Zantema_08/cariboo_nl_5.xml

TRS/Zantema_08/dupl_rhs.xml

TRS/Zantema_08/cariboo_len3.xml

TRS/Zantema_08/ffg.xml

TRS/Zantema_08/cariboo_nl_2.xml

TRS/Zantema_08/ffb_SL.xml

TRS/Zantema_08/f_5_2.xml

TRS/Zantema_08/from_one.xml

TRS/Zantema_08/from_one_a.xml

TRS/Zantema_08/cariboo_nl_1.xml

TRS/Zantema_08/yoyo_2.xml

TRS/Zantema_08/f_5.xml

TRS/Zantema_08/f_2_1.xml

TRS/Zantema_08/ex4.xml

TRS/Zantema_08/cariboo_add1.xml

TRS/Zantema_08/cariboo_nl_6.xml

TRS/Zantema_08/g_2_f_var.xml

TRS/Zantema_08/countbin.xml

TRS/Zantema_08/fg.xml

TRS/Zantema_08/cariboo_nl_4.xml

TRS/Zantema_08/ex9.xml

TRS/Zantema_08/inn_out.xml

TRS/Zantema_08/toyama_stop2.xml

TRS/Zantema_08/assoc_c_rhs.xml

TRS/Maude_06/LengthOfFiniteLists_nokinds-noand.xml

TRS/Maude_06/MYNAT_nokinds.xml

TRS/Maude_06/LISTUTILITIES_complete-noand.xml

TRS/Maude_06/LengthOfFiniteLists_nosorts.xml

TRS/Maude_06/MYNAT_nosorts.xml

TRS/Maude_06/PALINDROME_complete-noand.xml

TRS/Maude_06/OvConsOS_nosorts.xml

TRS/Maude_06/MYNAT_complete-noand.xml

TRS/Maude_06/MYNAT_nosorts-noand.xml

TRS/Maude_06/MYNAT_nokinds-peanoSimple.xml

TRS/Maude_06/LengthOfFiniteLists_complete.xml

TRS/Maude_06/LISTUTILITIES_complete.xml

TRS/Maude_06/PALINDROME_nosorts.xml

TRS/Maude_06/LengthOfFiniteLists_nosorts-noand.xml

TRS/Maude_06/MYNAT_nokinds-noand.xml

TRS/Maude_06/MYNAT_nokinds-noand-peanoSimple.xml

TRS/Maude_06/MYNAT_complete.xml

TRS/Maude_06/LISTUTILITIES_nokinds.xml

TRS/Maude_06/MYNAT_complete-peanoSimple.xml

TRS/Maude_06/OvConsOS_nosorts-noand.xml

TRS/Maude_06/OvConsOS_complete.xml

TRS/Maude_06/LengthOfFiniteLists_nokinds.xml

TRS/Maude_06/OvConsOS_nokinds-noand.xml

TRS/Maude_06/LengthOfFiniteLists_complete-noand.xml

TRS/Maude_06/LISTUTILITIES_nosorts.xml

TRS/Maude_06/LISTUTILITIES_nosorts-noand.xml

TRS/Maude_06/MYNAT_complete-noand-peanoSimple.xml

TRS/Maude_06/PALINDROME_nokinds.xml

TRS/Maude_06/csrdiv.xml

TRS/Maude_06/LISTUTILITIES_nokinds-noand.xml

TRS/Maude_06/PALINDROME_complete.xml

TRS/Maude_06/MYNAT_nosorts-peanoSimple.xml

TRS/Maude_06/OvConsOS_nokinds.xml

TRS/Maude_06/PALINDROME_nokinds-noand.xml

TRS/Maude_06/MYNAT_nosorts-noand-peanoSimple.xml

TRS/Maude_06/OvConsOS_complete-noand.xml

TRS/Maude_06/emmes.xml

TRS/Maude_06/PALINDROME_nosorts-noand.xml

TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml

TRS/Transformed_CSR_04/Ex1_Zan97_C.xml

TRS/Transformed_CSR_04/PEANO_complete_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml

TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml

TRS/Transformed_CSR_04/Ex6_Luc98_L.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml

TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml

TRS/Transformed_CSR_04/Ex8_BLR02_L.xml

TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml

TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml

TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml

TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml

TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml

TRS/Transformed_CSR_04/Ex49_GM04_C.xml

TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml

TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml

TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml

TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml

TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml

TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml

TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml

TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml

TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml

TRS/Transformed_CSR_04/MYNAT_complete_L.xml

TRS/Transformed_CSR_04/Ex9_Luc04_C.xml

TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml

TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml

TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml

TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml

TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml

TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml

TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml

TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml

TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml

TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml

TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml

TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml

TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml

TRS/Transformed_CSR_04/Ex4_Zan97_C.xml

TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml

TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml

TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml

TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml

TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml

TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml

TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml

TRS/Transformed_CSR_04/PALINDROME_complete_L.xml

TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml

TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml

TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml

TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml

TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml

TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml

TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml

TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml

TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml

TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml

TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml

TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml

TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml

TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml

TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml

TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml

TRS/Transformed_CSR_04/Ex49_GM04_Z.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml

TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml

TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml

TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml

TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml

TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml

TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml

TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml

TRS/Transformed_CSR_04/MYNAT_complete_GM.xml

TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml

TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml

TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml

TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml

TRS/Transformed_CSR_04/Ex1_GM99_C.xml

TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml

TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml

TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml

TRS/Transformed_CSR_04/Ex9_BLR02_C.xml

TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml

TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml

TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml

TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml

TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml

TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml

TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml

TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml

TRS/Transformed_CSR_04/Ex5_Zan97_L.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml

TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml

TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml

TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml

TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml

TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml

TRS/Transformed_CSR_04/Ex23_Luc06_C.xml

TRS/Transformed_CSR_04/Ex4_Zan97_L.xml

TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml

TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml

TRS/Transformed_CSR_04/Ex7_BLR02_C.xml

TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml

TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml

TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml

TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml

TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml

TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml

TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml

TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml

TRS/Transformed_CSR_04/OvConsOS_complete_C.xml

TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml

TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml

TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml

TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml

TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml

TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml

TRS/Transformed_CSR_04/Ex14_Luc06_C.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml

TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml

TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml

TRS/Transformed_CSR_04/ExConc_Zan97_C.xml

TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml

TRS/Transformed_CSR_04/PEANO_complete_L.xml

TRS/Transformed_CSR_04/Ex25_Luc06_C.xml

TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml

TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml

TRS/Transformed_CSR_04/MYNAT_complete_Z.xml

TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml

TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml

TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml

TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml

TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml

TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml

TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml

TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml

TRS/Transformed_CSR_04/PEANO_nosorts_C.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml

TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml

TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml

TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml

TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml

TRS/Transformed_CSR_04/PEANO_nosorts_L.xml

TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml

TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml

TRS/Transformed_CSR_04/PEANO_nokinds_C.xml

TRS/Transformed_CSR_04/Ex1_GM99_GM.xml

TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml

TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml

TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml

TRS/Transformed_CSR_04/PEANO_complete_GM.xml

TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml

TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml

TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml

TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml

TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml

TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml

TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml

TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml

TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml

TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml

TRS/Transformed_CSR_04/PALINDROME_complete_C.xml

TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml

TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml

TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml

TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml

TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml

TRS/Transformed_CSR_04/Ex6_GM04_GM.xml

TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml

TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml

TRS/Transformed_CSR_04/Ex1_GM03_C.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml

TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml

TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml

TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml

TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml

TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml

TRS/Transformed_CSR_04/PEANO_complete_FR.xml

TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml

TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml

TRS/Transformed_CSR_04/Ex8_BLR02_C.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml

TRS/Transformed_CSR_04/Ex49_GM04_FR.xml

TRS/Transformed_CSR_04/MYNAT_complete_C.xml

TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml

TRS/Transformed_CSR_04/Ex15_Luc98_C.xml

TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml

TRS/Transformed_CSR_04/Ex49_GM04_L.xml

TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml

TRS/Transformed_CSR_04/Ex9_BLR02_L.xml

TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml

TRS/Transformed_CSR_04/Ex16_Luc06_C.xml

TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml

TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml

TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml

TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml

TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml

TRS/Transformed_CSR_04/Ex24_GM04_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml

TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml

TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml

TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml

TRS/Transformed_CSR_04/OvConsOS_complete_L.xml

TRS/Transformed_CSR_04/Ex15_Luc98_L.xml

TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml

TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml

TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml

TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml

TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml

TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml

TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml

TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml

TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml

TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml

TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml

TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml

TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml

TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml

TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml

TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml

TRS/Transformed_CSR_04/MYNAT_complete_FR.xml

TRS/Transformed_CSR_04/Ex9_Luc06_C.xml

TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml

TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml

TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml

TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml

TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml

TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml

TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml

TRS/Transformed_CSR_04/Ex24_GM04_Z.xml

TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml

TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml

TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml

TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml

TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml

TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml

TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml

TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml

TRS/Transformed_CSR_04/Ex24_GM04_GM.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml

TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml

TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml

TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml

TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml

TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml

TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml

TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml

TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml

TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml

TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml

TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml

TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml

TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml

TRS/Transformed_CSR_04/PEANO_nokinds_L.xml

TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml

TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml

TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml

TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml

TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml

TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml

TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml

TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml

TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml

TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml

TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml

TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml

TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml

TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml

TRS/Transformed_CSR_04/Ex7_BLR02_L.xml

TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml

TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml

TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml

TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml

TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml

TRS/Transformed_CSR_04/Ex1_GM03_L.xml

TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml

TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml

TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml

TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml

TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml

TRS/Transformed_CSR_04/Ex18_Luc06_C.xml

TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml

TRS/Transformed_CSR_04/Ex1_GL02a_C.xml

TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml

TRS/Transformed_CSR_04/Ex24_Luc06_C.xml

TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml

TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml

TRS/Transformed_CSR_04/Ex24_GM04_FR.xml

TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml

TRS/Transformed_CSR_04/Ex49_GM04_GM.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml

TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml

TRS/Transformed_CSR_04/Ex5_Zan97_C.xml

TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml

TRS/Transformed_CSR_04/Ex6_GM04_C.xml

TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml

TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml

TRS/Transformed_CSR_04/PEANO_complete_Z.xml

TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml

TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml

TRS/Transformed_CSR_04/Ex1_GM03_FR.xml

TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml

TRS/Transformed_CSR_04/Ex6_Luc98_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml

TRS/Transformed_CSR_04/Ex1_GM03_GM.xml

TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml

TRS/Transformed_CSR_04/Ex15_Luc06_C.xml

TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml

TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml

TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml

TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml

TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml

The following page uses this file: