am8                              [Wang & Bledsoe, 1987]     : ANA/ANA001-1.p
AN-50                            [McCune & Wos, 1992]       : LCL/LCL001-1.p
AN-51                            [McCune & Wos, 1992]       : LCL/LCL002-1.p
AN-52                            [McCune & Wos, 1992]       : LCL/LCL003-1.p
AN-53                            [McCune & Wos, 1992]       : LCL/LCL004-1.p
AN-54                            [McCune & Wos, 1992]       : LCL/LCL005-1.p
ances1                           [Reboh, et al., 1972]      : SYN/SYN032-1.p
andrews.in                       [OTTER]                    : SYN/SYN036-1.p
animals.ver1.in                  [ANL]                      : PUZ/PUZ002-1.p
AP1.1                            [Quaife, 1992]             : SET/SET531-6.p
AP1.2                            [Quaife, 1992]             : SET/SET532-6.p
AP2                              [Quaife, 1992]             : SET/SET533-6.p
AP3                              [Quaife, 1992]             : SET/SET534-6.p
AP4                              [Quaife, 1992]             : SET/SET535-6.p
AP4 cor.1                        [Quaife, 1992]             : SET/SET536-6.p
AP4 cor.2                        [Quaife, 1992]             : SET/SET537-6.p
AP5                              [Quaife, 1992]             : SET/SET538-6.p
AP6.1                            [Quaife, 1992]             : SET/SET539-6.p
AP6.2                            [Quaife, 1992]             : SET/SET540-6.p
AP7                              [Quaife, 1992]             : SET/SET541-6.p
AP8                              [Quaife, 1992]             : SET/SET568-6.p
AP9                              [Quaife, 1992]             : SET/SET569-6.p
AP9 cor.                         [Quaife]                   : SET/SET542-6.p
AP10                             [Quaife, 1992]             : SET/SET570-6.p
AP10 cor.                        [Quaife]                   : SET/SET543-6.p
AP11                             [Quaife, 1992]             : SET/SET571-6.p
AP11 cor.                        [Quaife, 1992]             : SET/SET544-6.p
AP12                             [Quaife, 1992]             : SET/SET541-6.p
AP13                             [Quaife, 1992]             : SET/SET572-6.p
AP13.1                           [Quaife]                   : SET/SET545-6.p
AP13.2                           [Quaife]                   : SET/SET546-6.p
AP13.3                           [Quaife]                   : SET/SET547-6.p
AP14                             [Quaife]                   : SET/SET548-6.p
AP14.1                           [Quaife, 1992]             : SET/SET545-6.p
AP14.2                           [Quaife, 1992]             : SET/SET546-6.p
AP14.3                           [Quaife, 1992]             : SET/SET547-6.p
AP16                             [Quaife]                   : SET/SET549-6.p
AP17                             [Quaife]                   : SET/SET550-6.p
AP18                             [Quaife]                   : SET/SET551-6.p
AP19                             [Quaife]                   : SET/SET552-6.p
apabhp                           [Wilson & Minker, 1976]    : MSC/MSC001-1.p
AS1                              [Quaife]                   : NUM/NUM054-1.p
AS2                              [Quaife]                   : NUM/NUM055-1.p
AS3                              [Quaife]                   : NUM/NUM056-1.p
B0                               [Quaife, 1989]             : GEO/GEO038-2.p
B1                               [McCharen, et al., 1976]   : BOO/BOO008-1.p
B1                               [Quaife, 1989]             : GEO/GEO039-2.p
B2                               [Quaife, 1989]             : GEO/GEO040-2.p
B2 part 1                        [McCharen, et al., 1976]   : BOO/BOO003-1.p
B2 part 2                        [McCharen, et al., 1976]   : BOO/BOO004-1.p
B3                               [Quaife, 1989]             : GEO/GEO041-2.p
B3 part 1                        [McCharen, et al., 1976]   : BOO/BOO005-1.p
B3 part 2                        [McCharen, et al., 1976]   : BOO/BOO006-1.p
B4                               [Quaife, 1989]             : GEO/GEO042-2.p
B4 part 1                        [McCharen, et al., 1976]   : BOO/BOO009-1.p
B4 part 2                        [McCharen, et al., 1976]   : BOO/BOO010-1.p
B5                               [McCharen, et al., 1976]   : BOO/BOO005-1.p
B5                               [Quaife, 1989]             : GEO/GEO043-2.p
B6                               [McCharen, et al., 1976]   : BOO/BOO006-1.p
B6                               [Quaife, 1989]             : GEO/GEO044-2.p
B7                               [McCharen, et al., 1976]   : BOO/BOO011-1.p
B7                               [Quaife, 1989]             : GEO/GEO045-2.p
B8                               [McCharen, et al., 1976]   : BOO/BOO012-3.p
B8                               [Quaife, 1989]             : GEO/GEO046-2.p
B9                               [McCharen, et al., 1976]   : BOO/BOO013-3.p
B9                               [Quaife, 1989]             : GEO/GEO047-2.p
B10                              [McCharen, et al., 1976]   : BOO/BOO014-3.p
B10                              [Quaife, 1989]             : GEO/GEO048-2.p
B11                              [Quaife, 1989]             : GEO/GEO049-2.p
B12                              [Quaife, 1989]             : GEO/GEO050-2.p
B13                              [Quaife, 1989]             : GEO/GEO051-2.p
B14                              [Quaife, 1989]             : GEO/GEO052-2.p
B15                              [Quaife, 1989]             : GEO/GEO053-2.p
barber.ver1.in                   [ANL]                      : PUZ/PUZ003-1.p
bird1.ver1.in                    [ANL]                      : COL/COL050-1.p
bird2.ver1.in                    [ANL]                      : COL/COL051-1.p
bird4.ver1.in                    [ANL]                      : COL/COL052-1.p
bird4.ver2.in                    [ANL]                      : COL/COL052-2.p
bird5.ver1.in                    [ANL]                      : COL/COL053-1.p
bird6.ver1.in                    [ANL]                      : COL/COL054-1.p
bird7.ver1.in                    [ANL]                      : COL/COL055-1.p
bird8.ver1.in                    [ANL]                      : COL/COL056-1.p
BL1                              [McCharen, et al., 1976]   : ANA/ANA003-2.p
BL2                              [McCharen, et al., 1976]   : ANA/ANA004-2.p
BL3                              [McCharen, et al., 1976]   : ANA/ANA005-2.p
Bledsoe-P1                       [ROO]                      : ANA/ANA003-4.p
bool_ass.in                      [OTTER]                    : BOO/BOO008-3.p
boxes.ver1.in                    [ANL]                      : PUZ/PUZ012-1.p
boys.ver1.in                     [ANL]                      : PUZ/PUZ013-1.p
burstall                         [Wilson & Minker, 1976]    : COM/COM002-1.p
C0-37                            [McCune & Wos, 1992]       : LCL/LCL025-1.p
C0-38                            [McCune & Wos, 1992]       : LCL/LCL026-1.p
C0-39                            [McCune & Wos, 1992]       : LCL/LCL027-1.p
C0-40                            [McCune & Wos, 1992]       : LCL/LCL028-1.p
C0-41                            [McCune & Wos, 1992]       : LCL/LCL029-1.p
C0-42                            [McCune & Wos, 1992]       : LCL/LCL030-1.p
C0-43                            [McCune & Wos, 1992]       : LCL/LCL031-1.p
C0-44                            [McCune & Wos, 1992]       : LCL/LCL032-1.p
C0-45                            [McCune & Wos, 1992]       : LCL/LCL033-1.p
C0-46                            [McCune & Wos, 1992]       : LCL/LCL034-1.p
C0-47                            [McCune & Wos, 1992]       : LCL/LCL035-1.p
C0-48                            [McCune & Wos, 1992]       : LCL/LCL036-1.p
C0-49                            [McCune & Wos, 1992]       : LCL/LCL037-1.p
C1                               [McCharen, et al., 1976]   : CAT/CAT001-1.p
C1                               [Quaife, 1992]             : SET/SET150-6.p
C1                               [Wos & McCune, 1988]       : COL/COL001-1.p
C1.1                             [Wos & McCune, 1988]       : COL/COL002-1.p
C2                               [McCharen, et al., 1976]   : CAT/CAT002-1.p
C2                               [Wos & McCune, 1988]       : COL/COL003-1.p
C2.1                             [Quaife, 1989]             : GEO/GEO064-2.p
C2.1                             [Quaife, 1992]             : SET/SET151-6.p
C2.2                             [Quaife, 1989]             : GEO/GEO065-2.p
C2.2                             [Quaife, 1992]             : SET/SET152-6.p
C2.3                             [Quaife, 1989]             : GEO/GEO066-2.p
C3                               [McCharen, et al., 1976]   : CAT/CAT003-1.p
C3                               [Quaife, 1989]             : GEO/GEO067-2.p
C3.1                             [Quaife, 1992]             : SET/SET153-6.p
C3.2                             [Quaife, 1992]             : SET/SET154-6.p
C4                               [McCharen, et al., 1976]   : CAT/CAT004-1.p
C4                               [Quaife, 1989]             : GEO/GEO068-2.p
C4.1                             [Quaife, 1992]             : SET/SET155-6.p
C4.2                             [Quaife, 1992]             : SET/SET156-6.p
C5                               [McCharen, et al., 1976]   : CAT/CAT005-1.p
C5                               [Quaife, 1989]             : GEO/GEO069-2.p
C5                               [Quaife, 1992]             : SET/SET157-6.p
C5 cor.                          [Quaife, 1992]             : SET/SET178-6.p
C6                               [McCharen, et al., 1976]   : CAT/CAT006-1.p
C6                               [Quaife]                   : SET/SET158-6.p
C7                               [McCharen, et al., 1976]   : CAT/CAT007-1.p
C8                               [McCharen, et al., 1976]   : CAT/CAT008-1.p
CA1                              [Quaife, 1992]             : SET/SET553-6.p
CA2                              [Quaife, 1992]             : SET/SET554-6.p
CA2                              [Quaife]                   : SET/SET556-6.p
CA3                              [Quaife, 1992]             : SET/SET555-6.p
CA4                              [Quaife, 1992]             : SET/SET557-6.p
CD-12                            [ROO]                      : LCL/LCL051-1.p
CD-13                            [ROO]                      : LCL/LCL052-1.p
CD-90                            [ROO]                      : LCL/LCL097-1.p
CF1                              [Quaife, 1992]             : SET/SET558-6.p
CF2                              [Quaife, 1992]             : SET/SET559-6.p
CF3                              [Quaife, 1992]             : SET/SET560-6.p
CF4                              [Quaife, 1992]             : SET/SET561-6.p
CF5                              [Quaife, 1992]             : SET/SET562-6.p
CF6                              [Quaife, 1992]             : SET/SET563-6.p
CF6 cor.1                        [Quaife, 1992]             : SET/SET564-6.p
CF6 cor.2                        [Quaife, 1992]             : SET/SET565-6.p
CF7                              [Quaife, 1992]             : SET/SET566-6.p
CF8                              [Quaife]                   : SET/SET567-6.p
Chang-Lee-1                      [Chang, 1970]              : GRP/GRP028-1.p
Chang-Lee-2                      [Chang, 1970]              : GRP/GRP001-5.p
Chang-Lee-3                      [Chang, 1970]              : GRP/GRP003-1.p
Chang-Lee-4                      [Chang, 1970]              : GRP/GRP004-1.p
Chang-Lee-5                      [Chang, 1970]              : GRP/GRP005-1.p
Chang-Lee-6                      [Chang, 1970]              : GRP/GRP006-1.p
Chang-Lee-7                      [Chang, 1970]              : NUM/NUM014-1.p
Chang-Lee-8                      [Chang, 1970]              : NUM/NUM015-1.p
Chang-Lee-9                      [Chang, 1970]              : NUM/NUM016-2.p
Chang-Lee-10a                    [Chang, 1970]              : NUM/NUM001-1.p
Chang-Lee-10b                    [Chang, 1970]              : NUM/NUM002-1.p
Chang-Lee-10c                    [Chang, 1970]              : NUM/NUM003-1.p
Chang-Lee-10d                    [Chang, 1970]              : NUM/NUM004-1.p
chekndom.ver1.in                 [ANL]                      : PUZ/PUZ015-1.p
chekndom.ver2.in                 [ANL]                      : PUZ/PUZ016-1.p
CL1                              [Lusk & Wos, 1992]         : COL/COL049-1.p
CL2                              [Lusk & Wos, 1992]         : COL/COL003-1.p
CL3                              [Lusk & Wos, 1992]         : COL/COL044-1.p
CL4                              [Lusk & Wos, 1992]         : COL/COL043-1.p
CL5                              [Lusk & Wos, 1992]         : COL/COL057-1.p
CL-1                             [Wos, et al., 1990]        : COL/COL060-1.p
CL-2                             [Wos, et al., 1990]        : COL/COL061-1.p
CL-3                             [Wos, et al., 1990]        : COL/COL062-1.p
CL-4                             [Wos, et al., 1990]        : COL/COL063-1.p
CL-5                             [Wos, et al., 1990]        : COL/COL064-1.p
CL-6                             [Wos, et al., 1990]        : COL/COL065-1.p
CL-7                             [Wos, et al., 1990]        : COL/COL066-1.p
CN-1                             [McCune & Wos, 1992]       : LCL/LCL040-1.p
CN-2                             [McCune & Wos, 1992]       : LCL/LCL041-1.p
CN-3                             [McCune & Wos, 1992]       : LCL/LCL042-1.p
CN-4                             [McCune & Wos, 1992]       : LCL/LCL043-1.p
CN-5                             [McCune & Wos, 1992]       : LCL/LCL044-1.p
CN-6                             [McCune & Wos, 1992]       : LCL/LCL045-1.p
CN-7                             [McCune & Wos, 1992]       : LCL/LCL046-1.p
CN-10                            [McCune & Wos, 1992]       : LCL/LCL049-1.p
CN-11                            [McCune & Wos, 1992]       : LCL/LCL050-1.p
CN-14                            [McCune & Wos, 1992]       : LCL/LCL053-1.p
CN-15                            [McCune & Wos, 1992]       : LCL/LCL054-1.p
CN-16                            [McCune & Wos, 1992]       : LCL/LCL055-1.p
CN-17                            [McCune & Wos, 1992]       : LCL/LCL056-1.p
CN-18                            [McCune & Wos, 1992]       : LCL/LCL057-1.p
CN-19                            [McCune & Wos, 1992]       : LCL/LCL058-1.p
CN-20                            [McCune & Wos, 1992]       : LCL/LCL059-1.p
CN-21                            [McCune & Wos, 1992]       : LCL/LCL060-1.p
CN-22                            [McCune & Wos, 1992]       : LCL/LCL061-1.p
CN-23                            [McCune & Wos, 1992]       : LCL/LCL062-1.p
CN-24                            [McCune & Wos, 1992]       : LCL/LCL063-1.p
CN-25                            [McCune & Wos, 1992]       : LCL/LCL064-1.p
CN-26                            [McCune & Wos, 1992]       : LCL/LCL065-1.p
CN-27                            [McCune & Wos, 1992]       : LCL/LCL066-1.p
CN-28                            [McCune & Wos, 1992]       : LCL/LCL067-1.p
CN-29                            [McCune & Wos, 1992]       : LCL/LCL068-1.p
CN-30                            [McCune & Wos, 1992]       : LCL/LCL069-1.p
CN-31                            [McCune & Wos, 1992]       : LCL/LCL070-1.p
CN-32                            [McCune & Wos, 1992]       : LCL/LCL071-1.p
CN-33                            [McCune & Wos, 1992]       : LCL/LCL072-1.p
CN-34                            [McCune & Wos, 1992]       : LCL/LCL073-1.p
CN-35                            [McCune & Wos, 1992]       : LCL/LCL074-1.p
CN-36                            [McCune & Wos, 1992]       : LCL/LCL075-1.p
cn.t part 1                      [OTTER]                    : LCL/LCL046-1.p
cn.t part 2                      [OTTER]                    : LCL/LCL047-1.p
cn.t part 3                      [OTTER]                    : LCL/LCL048-1.p
CO1.1                            [Quaife, 1992]             : SET/SET387-6.p
CO1.2                            [Quaife, 1992]             : SET/SET388-6.p
CO1.3                            [Quaife, 1992]             : SET/SET389-6.p
CO1.4                            [Quaife, 1992]             : SET/SET390-6.p
CO2                              [Quaife, 1992]             : SET/SET391-6.p
CO3.1                            [Quaife, 1992]             : SET/SET392-6.p
CO3.2                            [Quaife, 1992]             : SET/SET393-6.p
CO4                              [Quaife, 1992]             : SET/SET394-6.p
CO5                              [Quaife, 1992]             : SET/SET395-6.p
CO6.1                            [Quaife, 1992]             : SET/SET396-6.p
CO6.2                            [Quaife, 1992]             : SET/SET397-6.p
CO7                              [Quaife, 1992]             : SET/SET398-6.p
CO8.1                            [Quaife, 1992]             : SET/SET399-6.p
CO8.2                            [Quaife, 1992]             : SET/SET400-6.p
CO8.3                            [Quaife, 1992]             : SET/SET401-6.p
CO8.4                            [Quaife, 1992]             : SET/SET402-6.p
CO10                             [Quaife, 1992]             : SET/SET403-6.p
CO11.1                           [Quaife, 1992]             : SET/SET404-6.p
CO11.2                           [Quaife, 1992]             : SET/SET405-6.p
CO11 cor.1                       [Quaife, 1992]             : SET/SET406-6.p
CO11 cor.2                       [Quaife, 1992]             : SET/SET407-6.p
CO12                             [Quaife, 1992]             : SET/SET408-6.p
CO13.1                           [Quaife, 1992]             : SET/SET409-6.p
CO13.2                           [Quaife, 1992]             : SET/SET410-6.p
CO15                             [Quaife, 1992]             : SET/SET411-6.p
CO16                             [Quaife, 1992]             : SET/SET412-6.p
CO17                             [Quaife, 1992]             : SET/SET413-6.p
CO18                             [Quaife]                   : SET/SET414-6.p
CO19.1                           [Quaife]                   : SET/SET415-6.p
CO19.2                           [Quaife]                   : SET/SET416-6.p
CO21                             [Quaife]                   : SET/SET417-6.p
CO22                             [Quaife]                   : SET/SET418-6.p
CO23                             [Quaife]                   : SET/SET419-6.p
CO24                             [Quaife]                   : SET/SET420-6.p
CO26                             [Quaife]                   : SET/SET421-6.p
CO27                             [Quaife]                   : SET/SET422-6.p
CO28                             [Quaife]                   : SET/SET423-6.p
CO29                             [Quaife]                   : SET/SET424-6.p
commutator.ver1.in               [ANL]                      : GRP/GRP002-1.p
commutator.ver2.in               [ANL]                      : GRP/GRP002-2.p
commute.ver1.in                  [ANL]                      : RNG/RNG008-5.p
commute.ver2.in                  [ANL]                      : RNG/RNG008-3.p
commute.ver3.in                  [ANL]                      : RNG/RNG008-1.p
commute.ver4.in                  [ANL]                      : RNG/RNG008-1.p
compl.ver1.in                    [ANL]                      : SET/SET012-2.p
compl.ver2.in                    [ANL]                      : SET/SET012-4.p
CP1                              [Quaife, 1992]             : SET/SET202-6.p
CP1 cor.                         [Quaife, 1992]             : SET/SET203-6.p
CP2                              [Quaife, 1992]             : SET/SET204-6.p
CP3.1                            [Quaife, 1992]             : SET/SET205-6.p
CP3.2                            [Quaife, 1992]             : SET/SET206-6.p
CP4                              [Quaife, 1992]             : SET/SET207-6.p
CP5.1                            [Quaife, 1992]             : SET/SET208-6.p
CP5.2                            [Quaife, 1992]             : SET/SET209-6.p
CP5 cor.1                        [Quaife, 1992]             : SET/SET210-6.p
CP5 cor.2                        [Quaife, 1992]             : SET/SET211-6.p
CP5 cor.3                        [Quaife, 1992]             : SET/SET212-6.p
CP5 cor.4                        [Quaife, 1992]             : SET/SET213-6.p
CP5 cor.5                        [Quaife, 1992]             : SET/SET214-6.p
CP5 cor.6                        [Quaife, 1992]             : SET/SET215-6.p
CP5 cor.7                        [Quaife, 1992]             : SET/SET216-6.p
CP5 cor.8                        [Quaife, 1992]             : SET/SET217-6.p
CP6.1                            [Quaife, 1992]             : SET/SET218-6.p
CP6.2                            [Quaife, 1992]             : SET/SET219-6.p
CP7.1                            [Quaife, 1992]             : SET/SET220-6.p
CP7.2                            [Quaife, 1992]             : SET/SET221-6.p
CP8                              [Quaife, 1992]             : SET/SET222-6.p
CP8                              [Quaife]                   : SET/SET223-6.p
CP9                              [Quaife, 1992]             : SET/SET224-6.p
CP10                             [Quaife, 1992]             : SET/SET225-6.p
CP11.1                           [Quaife, 1992]             : SET/SET226-6.p
CP11.2                           [Quaife, 1992]             : SET/SET227-6.p
CP12.1                           [Quaife, 1992]             : SET/SET228-6.p
CP12.2                           [Quaife, 1992]             : SET/SET229-6.p
CP13                             [Quaife, 1992]             : SET/SET230-6.p
CP14.1                           [Quaife]                   : SET/SET231-6.p
CP14.2                           [Quaife]                   : SET/SET232-6.p
CP14.3                           [Quaife]                   : SET/SET233-6.p
CP14.4                           [Quaife]                   : SET/SET234-6.p
CP15.1                           [Quaife]                   : SET/SET235-6.p
CP15.2                           [Quaife]                   : SET/SET236-6.p
CR1                              [Quaife]                   : NUM/NUM046-1.p
CR2                              [Quaife]                   : NUM/NUM047-1.p
CR3                              [Quaife]                   : NUM/NUM048-1.p
CR4                              [Quaife]                   : NUM/NUM049-1.p
CR5                              [Quaife]                   : NUM/NUM050-1.p
CR6                              [Quaife]                   : NUM/NUM051-1.p
cyclic.ver3.in                   [ANL]                      : GRP/GRP027-2.p
D1                               [Quaife, 1989]             : GEO/GEO014-2.p
D1.1                             [Quaife, 1992]             : SET/SET169-6.p
D1.2                             [Quaife, 1992]             : SET/SET170-6.p
D2                               [Quaife, 1989]             : GEO/GEO015-2.p
D2.1                             [Quaife, 1992]             : SET/SET171-6.p
D2.2                             [Quaife, 1992]             : SET/SET172-6.p
D3                               [Quaife, 1989]             : GEO/GEO016-2.p
D3                               [Quaife, 1992]             : SET/SET173-6.p
D3 cor.                          [Quaife, 1992]             : SET/SET174-6.p
D4                               [Quaife, 1992]             : SET/SET175-6.p
D4.1                             [Quaife, 1989]             : GEO/GEO017-2.p
D4.2                             [Quaife, 1989]             : GEO/GEO018-2.p
D4.3                             [Quaife, 1989]             : GEO/GEO019-2.p
D4.4                             [Quaife, 1989]             : GEO/GEO020-2.p
D4.5                             [Quaife, 1989]             : GEO/GEO021-2.p
D4 cor.                          [Quaife, 1992]             : SET/SET176-6.p
D5                               [Quaife, 1989]             : GEO/GEO022-2.p
D5                               [Quaife, 1992]             : SET/SET177-6.p
D5 cor.                          [Quaife, 1992]             : SET/SET179-6.p
D6                               [Quaife, 1992]             : SET/SET180-6.p
D6 cor.                          [Quaife, 1992]             : SET/SET181-6.p
D7                               [Quaife, 1989]             : GEO/GEO024-2.p
D7                               [Quaife, 1992]             : SET/SET182-6.p
D8                               [Quaife, 1989]             : GEO/GEO025-2.p
D9                               [Quaife, 1989]             : GEO/GEO026-2.p
D10.1                            [Quaife, 1989]             : GEO/GEO027-2.p
D10.2                            [Quaife, 1989]             : GEO/GEO028-2.p
D10.3                            [Quaife, 1989]             : GEO/GEO029-2.p
D11                              [Quaife, 1989]             : GEO/GEO030-2.p
D12                              [Quaife, 1989]             : GEO/GEO031-2.p
D13                              [Quaife, 1989]             : GEO/GEO032-2.p
D14                              [Quaife, 1989]             : GEO/GEO033-2.p
D15                              [Quaife, 1989]             : GEO/GEO034-2.p
dbabhp                           [Wilson & Minker, 1976]    : MSC/MSC002-1.p
DI1.1                            [Quaife, 1992]             : SET/SET491-6.p
DI1.2                            [Quaife, 1992]             : SET/SET492-6.p
DI1 cor.                         [Quaife]                   : SET/SET493-6.p
DI2                              [Quaife, 1992]             : SET/SET494-6.p
DI3                              [Quaife, 1992]             : SET/SET495-6.p
DI4                              [Quaife, 1992]             : SET/SET496-6.p
DI5                              [Quaife, 1992]             : SET/SET497-6.p
DI6                              [Quaife, 1992]             : SET/SET498-6.p
DI7                              [Quaife, 1992]             : SET/SET499-6.p
DI8                              [Quaife, 1992]             : SET/SET500-6.p
DI9.1                            [Quaife, 1992]             : SET/SET501-6.p
DI9.2                            [Quaife, 1992]             : SET/SET502-6.p
DM                               [Wilson & Minker, 1976]    : SYN/SYN033-1.p
DO1.1                            [Quaife, 1992]             : SET/SET258-6.p
DO1.2                            [Quaife, 1992]             : SET/SET259-6.p
DO1.3                            [Quaife, 1992]             : SET/SET260-6.p
DO2.1                            [Quaife, 1992]             : SET/SET261-6.p
DO2.2                            [Quaife, 1992]             : SET/SET262-6.p
DO3                              [Quaife, 1992]             : SET/SET263-6.p
DO3 cor.1                        [Quaife, 1992]             : SET/SET264-6.p
DO3 cor.2                        [Quaife, 1992]             : SET/SET265-6.p
DO3 cor.3                        [Quaife, 1992]             : SET/SET266-6.p
DO3 cor.4                        [Quaife]                   : SET/SET267-6.p
DO4                              [Quaife, 1992]             : SET/SET268-6.p
DO5                              [Quaife, 1992]             : SET/SET269-6.p
DO6                              [Quaife, 1992]             : SET/SET270-6.p
DO6 cor.                         [Quaife, 1992]             : SET/SET271-6.p
DO7                              [Quaife, 1992]             : SET/SET272-6.p
DO7 cor.                         [Quaife, 1992]             : SET/SET273-6.p
DO8                              [Quaife, 1992]             : SET/SET274-6.p
DO8 cor.1                        [Quaife, 1992]             : SET/SET275-6.p
DO8 cor.2                        [Quaife, 1992]             : SET/SET276-6.p
DO8 cor.3                        [Quaife, 1992]             : SET/SET277-6.p
DO8 cor.4                        [Quaife, 1992]             : SET/SET278-6.p
DO9                              [Quaife]                   : SET/SET279-6.p
DO10                             [Quaife]                   : SET/SET280-6.p
DO12                             [Quaife]                   : SET/SET281-6.p
DO13                             [Quaife]                   : SET/SET282-6.p
DO14                             [Quaife]                   : SET/SET283-6.p
DO15                             [Quaife]                   : SET/SET284-6.p
DO16                             [Quaife]                   : SET/SET285-6.p
DO16 cor.                        [Quaife]                   : SET/SET286-6.p
DO17                             [Quaife]                   : SET/SET287-6.p
DO18                             [Quaife]                   : SET/SET288-6.p
E1                               [McCharen, et al., 1976]   : PRV/PRV002-1.p
E1                               [Quaife, 1989]             : GEO/GEO035-2.p
E2                               [McCharen, et al., 1976]   : PRV/PRV003-1.p
E2                               [Quaife, 1989]             : GEO/GEO036-2.p
E3                               [McCharen, et al., 1976]   : PRV/PRV004-1.p
E3                               [Quaife, 1989]             : GEO/GEO037-2.p
E4                               [McCharen, et al., 1976]   : PRV/PRV005-1.p
E5                               [McCharen, et al., 1976]   : PRV/PRV006-1.p
E6                               [McCharen, et al., 1976]   : PRV/PRV007-1.p
E7                               [McCharen, et al., 1976]   : PRV/PRV008-1.p
EC-1                             [Wos, et al., 1990]        : LCL/LCL166-1.p
EC-2                             [Wos, et al., 1990]        : LCL/LCL167-1.p
EC-69                            [McCune & Wos, 1992]       : LCL/LCL006-1.p
EC-70                            [McCune & Wos, 1992]       : LCL/LCL007-1.p
EC-71                            [McCune & Wos, 1992]       : LCL/LCL008-1.p
EC-72                            [McCune & Wos, 1992]       : LCL/LCL009-1.p
EC-73                            [McCune & Wos, 1992]       : LCL/LCL010-1.p
EC-74                            [McCune & Wos, 1992]       : LCL/LCL011-1.p
EC-75                            [McCune & Wos, 1992]       : LCL/LCL012-1.p
EC-76                            [McCune & Wos, 1992]       : LCL/LCL013-1.p
EC-77                            [McCune & Wos, 1992]       : LCL/LCL014-1.p
EC-78                            [McCune & Wos, 1992]       : LCL/LCL015-1.p
EC-79                            [McCune & Wos, 1992]       : LCL/LCL016-1.p
EC-80                            [McCune & Wos, 1992]       : LCL/LCL017-1.p
EC-81                            [McCune & Wos, 1992]       : LCL/LCL018-1.p
EC-82                            [McCune & Wos, 1992]       : LCL/LCL019-1.p
EC-83                            [McCune & Wos, 1992]       : LCL/LCL020-1.p
EC-84                            [McCune & Wos, 1992]       : LCL/LCL021-1.p
ec.in part 1                     [OTTER]                    : LCL/LCL022-1.p
ec.in part 2                     [OTTER]                    : LCL/LCL023-1.p
EQ1                              [Quaife, 1992]             : SET/SET055-7.p
EQ2.1                            [Quaife, 1992]             : SET/SET056-7.p
EQ2.2                            [Quaife, 1992]             : SET/SET057-7.p
EQ2.3                            [Quaife, 1992]             : SET/SET058-7.p
EQ2.4                            [Quaife, 1992]             : SET/SET059-7.p
EW1                              [Wilson & Minker, 1976]    : SYN/SYN028-1.p
EW2                              [Wilson & Minker, 1976]    : SYN/SYN029-1.p
EW3                              [Wilson & Minker, 1976]    : SYN/SYN030-1.p
EX1                              [SPRFN]                    : GRP/GRP028-1.p
EX2                              [SPRFN]                    : GRP/GRP001-5.p
EX3                              [SPRFN]                    : GRP/GRP003-1.p
EX4                              [SPRFN]                    : GRP/GRP004-1.p
ex4.lop                          [SETHEO]                   : SYN/SYN038-1.p
EX5                              [SPRFN]                    : GRP/GRP005-1.p
ex5.lop                          [SETHEO]                   : ALG/ALG002-1.p
EX6                              [SPRFN]                    : GRP/GRP006-1.p
ex6.lop                          [SETHEO]                   : RNG/RNG001-3.p
EXQ1                             [McCharen, et al., 1976]   : SYN/SYN013-1.p
ExQ1                             [Wang, 1966]               : SYN/SYN013-1.p
exq1.ver1.in                     [ANL]                      : SYN/SYN013-1.p
exq1.ver2.in                     [ANL]                      : SYN/SYN013-1.p
EXQ2                             [McCharen, et al., 1976]   : SYN/SYN014-1.p
ExQ2                             [Wang, 1966]               : SYN/SYN014-1.p
exq2.ver1.in                     [ANL]                      : SYN/SYN014-1.p
exq2.ver2.in                     [ANL]                      : SYN/SYN014-1.p
EXQ3                             [McCharen, et al., 1976]   : SYN/SYN015-1.p
ExQ3                             [Wang, 1966]               : SYN/SYN015-1.p
exq3.ver1.in                     [ANL]                      : SYN/SYN015-1.p
exq3.ver2.in                     [ANL]                      : SYN/SYN015-1.p
fac2.lop                         [SETHEO]                   : NUM/NUM283-1.002.p
fac3.lop                         [SETHEO]                   : NUM/NUM283-1.003.p
fac4.lop                         [SETHEO]                   : NUM/NUM283-1.004.p
fac5.lop                         [SETHEO]                   : NUM/NUM283-1.005.p
fac6.lop                         [SETHEO]                   : NUM/NUM283-1.006.p
fac7.lop                         [SETHEO]                   : NUM/NUM283-1.007.p
FEX4T1                           [SPRFN]                    : SYN/SYN038-1.p
FEX4T2                           [SPRFN]                    : SYN/SYN038-1.p
FEX5                             [SPRFN]                    : ALG/ALG002-1.p
FEX6T1                           [SPRFN]                    : RNG/RNG001-3.p
FEX6T2                           [SPRFN]                    : RNG/RNG001-3.p
fib3.lop                         [SETHEO]                   : NUM/NUM284-1.003.p
fib4.lop                         [SETHEO]                   : NUM/NUM284-1.004.p
fib5.lop                         [SETHEO]                   : NUM/NUM284-1.005.p
fib6.lop                         [SETHEO]                   : NUM/NUM284-1.006.p
fib9.lop                         [SETHEO]                   : NUM/NUM284-1.009.p
FU1                              [Quaife, 1992]             : SET/SET440-6.p
FU1                              [Quaife]                   : SET/SET432-6.p
FU2                              [Quaife, 1992]             : SET/SET441-6.p
FU3.1                            [Quaife]                   : SET/SET433-6.p
FU3.2                            [Quaife]                   : SET/SET434-6.p
FU3.3                            [Quaife]                   : SET/SET435-6.p
FU4                              [Quaife, 1992]             : SET/SET442-6.p
FU4.1                            [Quaife]                   : SET/SET436-6.p
FU4.2                            [Quaife]                   : SET/SET437-6.p
FU5                              [Quaife]                   : SET/SET438-6.p
FU7                              [Quaife]                   : SET/SET439-6.p
FU8                              [Quaife]                   : SET/SET440-6.p
FU9                              [Quaife]                   : SET/SET441-6.p
FU10                             [Quaife]                   : SET/SET442-6.p
FU11                             [Quaife]                   : SET/SET443-6.p
FU12                             [Quaife]                   : SET/SET444-6.p
FU12 cor.                        [Quaife]                   : SET/SET445-6.p
FU13                             [Quaife]                   : SET/SET446-6.p
FU14                             [Quaife]                   : SET/SET447-6.p
FU15                             [Quaife]                   : SET/SET448-6.p
FU16.1                           [Quaife]                   : SET/SET449-6.p
FU16.2                           [Quaife]                   : SET/SET450-6.p
G1                               [McCharen, et al., 1976]   : GRP/GRP001-1.p
G2                               [McCharen, et al., 1976]   : GRP/GRP017-1.p
G3                               [McCharen, et al., 1976]   : GRP/GRP030-1.p
G4                               [McCharen, et al., 1976]   : GRP/GRP031-1.p
G5                               [McCharen, et al., 1976]   : GRP/GRP029-2.p
G6                               [McCharen, et al., 1976]   : GRP/GRP002-1.p
G7                               [McCharen, et al., 1976]   : GRP/GRP039-4.p
G8                               [McCharen, et al., 1976]   : GRP/GRP025-3.p
G9                               [McCharen, et al., 1976]   : GRP/GRP026-3.p
gcd                              [Wang, 1985]               : NUM/NUM005-1.p
GP1                              [McCharen, et al., 1976]   : GRP/GRP001-2.p
GP2                              [McCharen, et al., 1976]   : GRP/GRP039-7.p
GROUP1                           [Wilson & Minker, 1976]    : GRP/GRP028-1.p
GROUP2                           [Wilson & Minker, 1976]    : GRP/GRP001-5.p
GT1                              [Lusk & Wos, 1992]         : GRP/GRP001-2.p
GT2                              [Lusk & Wos, 1992]         : GRP/GRP112-1.p
GT3                              [Lusk & Wos, 1992]         : GRP/GRP002-4.p
H1                               [McCharen, et al., 1976]   : HEN/HEN001-1.p
H1                               [Pfenning, 1988]           : LCL/LCL084-1.p
H2                               [McCharen, et al., 1976]   : HEN/HEN002-2.p
H3                               [McCharen, et al., 1976]   : HEN/HEN003-2.p
H4                               [McCharen, et al., 1976]   : HEN/HEN004-2.p
H5                               [McCharen, et al., 1976]   : HEN/HEN005-2.p
H6                               [McCharen, et al., 1976]   : HEN/HEN006-2.p
H7                               [McCharen, et al., 1976]   : HEN/HEN007-2.p
H8                               [McCharen, et al., 1976]   : HEN/HEN008-2.p
H9                               [McCharen, et al., 1976]   : HEN/HEN009-2.p
H10                              [McCharen, et al., 1976]   : HEN/HEN010-2.p
H11                              [McCharen, et al., 1976]   : HEN/HEN011-2.p
HASPARTS-T1                      [Wilson & Minker, 1976]    : MSC/MSC003-1.p
HASPARTS-T2                      [Wilson & Minker, 1976]    : MSC/MSC004-1.p
HO1                              [Quaife, 1992]             : ALG/ALG001-3.p
houses.ver1.in                   [ANL]                      : PUZ/PUZ017-1.p
hp1.ver1.in                      [ANL]                      : HEN/HEN001-1.p
hp1.ver2.in                      [ANL]                      : HEN/HEN001-3.p
hp1.ver3.in                      [ANL]                      : HEN/HEN001-5.p
hp2.ver1.in                      [ANL]                      : HEN/HEN002-1.p
hp2.ver2.in                      [ANL]                      : HEN/HEN002-3.p
hp2.ver3.in                      [ANL]                      : HEN/HEN002-5.p
hp3.ver1.in                      [ANL]                      : HEN/HEN003-2.p
hp3.ver2.in                      [ANL]                      : HEN/HEN003-4.p
hp3.ver3.in                      [ANL]                      : HEN/HEN003-5.p
hp4.ver1.in                      [ANL]                      : HEN/HEN004-2.p
hp4.ver2.in                      [ANL]                      : HEN/HEN004-6.p
hp4.ver3.in                      [ANL]                      : HEN/HEN004-5.p
hp5.ver1.in                      [ANL]                      : HEN/HEN005-1.p
hp5.ver2.in                      [ANL]                      : HEN/HEN005-6.p
hp5.ver3.in                      [ANL]                      : HEN/HEN005-5.p
hp6.ver1.in                      [ANL]                      : HEN/HEN006-7.p
hp6.ver2.in                      [ANL]                      : HEN/HEN006-6.p
hp6.ver3.in                      [ANL]                      : HEN/HEN006-5.p
hp7.ver1.in                      [ANL]                      : HEN/HEN007-6.p
hp7.ver2.in                      [ANL]                      : HEN/HEN007-4.p
hp7.ver3.in                      [ANL]                      : HEN/HEN007-5.p
hp8.ver1.in                      [ANL]                      : HEN/HEN008-1.p
hp8.ver2.in                      [ANL]                      : HEN/HEN008-6.p
hp8.ver3.in                      [ANL]                      : HEN/HEN008-5.p
hp9.ver1.in                      [ANL]                      : HEN/HEN009-2.p
hp9.ver2.in                      [ANL]                      : HEN/HEN009-6.p
hp9.ver3.in                      [ANL]                      : HEN/HEN009-5.p
hp10.ver1.in                     [ANL]                      : HEN/HEN010-7.p
hp10.ver2.in                     [ANL]                      : HEN/HEN010-6.p
hp10.ver3.in                     [ANL]                      : HEN/HEN010-5.p
hp11.ver1.in                     [ANL]                      : HEN/HEN011-2.p
hp11.ver2.in                     [ANL]                      : HEN/HEN011-4.p
hp11.ver3.in                     [ANL]                      : HEN/HEN011-5.p
I1                               [Pfenning, 1988]           : LCL/LCL081-1.p
I1                               [Quaife, 1992]             : SET/SET143-6.p
I2                               [Quaife, 1989]             : GEO/GEO061-2.p
I2                               [Quaife, 1992]             : SET/SET144-6.p
I3                               [Quaife, 1989]             : GEO/GEO062-2.p
I3                               [Quaife, 1992]             : SET/SET145-6.p
I4                               [Quaife, 1989]             : GEO/GEO063-2.p
I4                               [Quaife, 1992]             : SET/SET146-6.p
I5                               [Quaife, 1992]             : SET/SET147-6.p
I6                               [Quaife, 1992]             : SET/SET148-6.p
I6 cor.                          [Quaife, 1992]             : SET/SET149-6.p
IC-1.1                           [Wos, et al., 1990]        : LCL/LCL082-1.p
IC-1.2                           [Wos, et al., 1990]        : LCL/LCL083-1.p
IC-1.3                           [Wos, et al., 1990]        : LCL/LCL084-1.p
IC-63                            [McCune & Wos, 1992]       : LCL/LCL080-1.p
IC-64                            [McCune & Wos, 1992]       : LCL/LCL081-1.p
IC-65                            [McCune & Wos, 1992]       : LCL/LCL082-1.p
IC-66                            [McCune & Wos, 1992]       : LCL/LCL083-1.p
IC-67                            [McCune & Wos, 1992]       : LCL/LCL084-1.p
IC-68                            [McCune & Wos, 1992]       : LCL/LCL085-1.p
ID1                              [Quaife, 1992]             : SET/SET454-6.p
ID2                              [Quaife, 1992]             : SET/SET455-6.p
ID3                              [Quaife, 1992]             : SET/SET456-6.p
ID4                              [Quaife, 1992]             : SET/SET457-6.p
ID4 cor.                         [Quaife, 1992]             : SET/SET458-6.p
ID5.1                            [Quaife, 1992]             : SET/SET459-6.p
ID5.2                            [Quaife, 1992]             : SET/SET460-6.p
ID5.3                            [Quaife, 1992]             : SET/SET461-6.p
ID5.4                            [Quaife, 1992]             : SET/SET462-6.p
ID5 cor.                         [Quaife, 1992]             : SET/SET463-6.p
ID6                              [Quaife, 1992]             : SET/SET464-6.p
ID7                              [Quaife, 1992]             : SET/SET465-6.p
ID8                              [Quaife, 1992]             : SET/SET466-6.p
ID9.1                            [Quaife, 1992]             : SET/SET467-6.p
ID9.2                            [Quaife, 1992]             : SET/SET468-6.p
ID9.3                            [Quaife, 1992]             : SET/SET469-6.p
ID9 cor.                         [Quaife]                   : SET/SET470-6.p
ID10.1                           [Quaife, 1992]             : SET/SET471-6.p
ID10.2                           [Quaife, 1992]             : SET/SET472-6.p
ID11.1                           [Quaife]                   : SET/SET473-6.p
ID11.2                           [Quaife]                   : SET/SET474-6.p
ID11.3                           [Quaife]                   : SET/SET475-6.p
ID11.4                           [Quaife, 1992]             : SET/SET476-6.p
ID12                             [Quaife]                   : SET/SET476-6.p
ident1.ver1.in                   [ANL]                      : GRP/GRP030-1.p
ident2.ver1.in                   [ANL]                      : GRP/GRP029-1.p
IH1                              [Pfenning, 1988]           : LCL/LCL084-2.p
IM1                              [Quaife, 1992]             : SET/SET324-6.p
IM2                              [Quaife, 1992]             : SET/SET325-6.p
IM2 cor.                         [Quaife, 1992]             : SET/SET326-6.p
IM3                              [Quaife, 1992]             : SET/SET327-6.p
IM3 cor.                         [Quaife]                   : SET/SET328-6.p
IM4                              [Quaife, 1992]             : SET/SET329-6.p
IM4 cor.                         [Quaife]                   : SET/SET330-6.p
IM5                              [Quaife, 1992]             : SET/SET331-6.p
IM5 cor.                         [Quaife, 1992]             : SET/SET332-6.p
IM6.1                            [Quaife, 1992]             : SET/SET333-6.p
IM6.2                            [Quaife, 1992]             : SET/SET334-6.p
IM7                              [Quaife, 1992]             : SET/SET335-6.p
IM7 cor.1                        [Quaife, 1992]             : SET/SET336-6.p
IM7 cor.2                        [Quaife, 1992]             : SET/SET338-6.p
IM7 cor.3                        [Quaife]                   : SET/SET337-6.p
IM8                              [Quaife, 1992]             : SET/SET339-6.p
IM9                              [Quaife, 1992]             : SET/SET340-6.p
IM10                             [Quaife, 1992]             : SET/SET341-6.p
IM11                             [Quaife]                   : SET/SET342-6.p
IM12                             [Quaife]                   : SET/SET343-6.p
Imp-4                            [ROO]                      : LCL/LCL084-1.p
imv                              [Wang & Bledsoe, 1987]     : ANA/ANA002-1.p
IN1                              [Quaife, 1992]             : SET/SET289-6.p
IN2                              [Quaife, 1992]             : SET/SET290-6.p
IN3                              [Quaife, 1992]             : SET/SET291-6.p
IN4.1                            [Quaife, 1992]             : SET/SET292-6.p
IN4.2                            [Quaife, 1992]             : SET/SET293-6.p
IN5.1                            [Quaife, 1992]             : SET/SET294-6.p
IN5.2                            [Quaife, 1992]             : SET/SET295-6.p
IN6.1                            [Quaife, 1992]             : SET/SET296-6.p
IN6.2                            [Quaife, 1992]             : SET/SET297-6.p
IN7                              [Quaife, 1992]             : SET/SET298-6.p
IN8                              [Quaife, 1992]             : SET/SET299-6.p
IN9                              [Quaife, 1992]             : SET/SET300-6.p
IN10                             [Quaife, 1992]             : SET/SET301-6.p
index.ver1.in                    [ANL]                      : GRP/GRP039-4.p
index.ver2.in                    [ANL]                      : GRP/GRP039-5.p
interns.ver1.in                  [ANL]                      : PUZ/PUZ018-1.p
inters.ver1.in                   [ANL]                      : SET/SET013-2.p
inters.ver2.in                   [ANL]                      : SET/SET013-4.p
invers1.ver1.in                  [ANL]                      : GRP/GRP017-1.p
invers2.ver1.t                   [ANL]                      : GRP/GRP031-1.p
IP1                              [Pfenning, 1988]           : LCL/LCL083-2.p
IPH1                             [Pfenning, 1988]           : LCL/LCL084-3.p
IR1                              [Quaife]                   : NUM/NUM039-1.p
IR2                              [Quaife]                   : NUM/NUM040-1.p
IR3.1                            [Quaife]                   : NUM/NUM041-1.p
IR3.2                            [Quaife]                   : NUM/NUM042-1.p
IR4                              [Quaife]                   : NUM/NUM043-1.p
IR5                              [Quaife]                   : NUM/NUM044-1.p
IR6                              [Quaife]                   : NUM/NUM045-1.p
ivt.lop                          [SETHEO]                   : ANA/ANA002-2.p
jobs.ver1.in                     [ANL]                      : PUZ/PUZ019-1.p
knightknave.in                   [ANL]                      : PUZ/PUZ020-1.p
LA1.1                            [Quaife, 1992]             : SET/SET194-6.p
LA1.2                            [Quaife, 1992]             : SET/SET195-6.p
LA1.3                            [Quaife, 1992]             : SET/SET196-6.p
LA1.4                            [Quaife, 1992]             : SET/SET197-6.p
LA2.1                            [Quaife, 1992]             : SET/SET198-6.p
LA2.2                            [Quaife, 1992]             : SET/SET199-6.p
LA3.1                            [Quaife, 1992]             : SET/SET200-6.p
LA3.2                            [Quaife, 1992]             : SET/SET201-6.p
LATINSQ                          [SPRFN]                    : MSC/MSC008-2.002.p
lcm                              [Wang, 1985]               : NUM/NUM007-1.p
Lemma 1                          [Boyer, et al., 1986]      : SET/SET016-3.p
Lemma 2                          [Boyer, et al., 1986]      : SET/SET017-3.p
Lemma 3                          [Boyer, et al., 1986]      : SET/SET018-3.p
Lemma 4                          [Boyer, et al., 1986]      : SET/SET019-3.p
Lemma 5                          [Boyer, et al., 1986]      : SET/SET020-3.p
Lemma 6                          [Boyer, et al., 1986]      : SET/SET021-3.p
Lemma 7                          [Boyer, et al., 1986]      : SET/SET022-3.p
Lemma 8                          [Boyer, et al., 1986]      : SET/SET023-3.p
Lemma 9                          [Boyer, et al., 1986]      : SET/SET024-3.p
Lemma 10                         [Boyer, et al., 1986]      : SET/SET025-3.p
Lemma 11                         [Boyer, et al., 1986]      : SET/SET025-8.p
Lemma 12                         [Boyer, et al., 1986]      : SET/SET027-3.p
Lemma 13                         [Boyer, et al., 1986]      : SET/SET028-3.p
Lemma 14                         [Boyer, et al., 1986]      : SET/SET029-3.p
Lemma 15                         [Boyer, et al., 1986]      : SET/SET030-3.p
Lemma 16                         [Boyer, et al., 1986]      : SET/SET031-3.p
Lemma 17                         [Boyer, et al., 1986]      : SET/SET032-3.p
Lemma 18                         [Boyer, et al., 1986]      : SET/SET033-3.p
Lemma 19                         [Boyer, et al., 1986]      : SET/SET034-3.p
Lemma 20                         [Boyer, et al., 1986]      : SET/SET035-3.p
Lemma 21                         [Boyer, et al., 1986]      : SET/SET036-3.p
Lemma 22                         [Boyer, et al., 1986]      : SET/SET037-3.p
Lemma 23                         [Boyer, et al., 1986]      : SET/SET038-3.p
Lemma 24                         [Boyer, et al., 1986]      : SET/SET039-3.p
Lemma 25                         [Boyer, et al., 1986]      : SET/SET040-3.p
Lemma 26                         [Boyer, et al., 1986]      : SET/SET041-3.p
Lemma 27                         [Boyer, et al., 1986]      : SET/SET042-3.p
lemma.ver1.in                    [ANL]                      : RNG/RNG007-5.p
lemma.ver2.in                    [ANL]                      : RNG/RNG007-4.p
lemma.ver3.in                    [ANL]                      : RNG/RNG007-1.p
lemma.ver4.in                    [ANL]                      : RNG/RNG007-1.p
letters.ver1.in                  [ANL]                      : PUZ/PUZ004-1.p
LG-89                            [McCune & Wos, 1992]       : LCL/LCL096-1.p
LG-90                            [McCune & Wos, 1992]       : LCL/LCL097-1.p
LG-91                            [McCune & Wos, 1992]       : LCL/LCL098-1.p
LG-92                            [McCune & Wos, 1992]       : LCL/LCL099-1.p
LG-93                            [McCune & Wos, 1992]       : LCL/LCL100-1.p
LG-94                            [McCune & Wos, 1992]       : LCL/LCL101-1.p
LG-95                            [McCune & Wos, 1992]       : LCL/LCL102-1.p
LG-96                            [McCune & Wos, 1992]       : LCL/LCL103-1.p
LG-97                            [McCune & Wos, 1992]       : LCL/LCL104-1.p
LG-98                            [McCune & Wos, 1992]       : LCL/LCL105-1.p
LG-99                            [McCune & Wos, 1992]       : LCL/LCL106-1.p
LG-100                           [McCune & Wos, 1992]       : LCL/LCL107-1.p
LG-101                           [McCune & Wos, 1992]       : LCL/LCL108-1.p
lifsch.in                        [OTTER]                    : SYN/SYN039-1.p
LIM2.1                           [Quaife]                   : NUM/NUM180-1.p
LIM2.2                           [Quaife]                   : NUM/NUM181-1.p
LIM2.3                           [Quaife]                   : NUM/NUM182-1.p
LIM2.4                           [Quaife]                   : NUM/NUM183-1.p
LIM2.4 cor.                      [Quaife]                   : NUM/NUM184-1.p
LIM3                             [Quaife]                   : NUM/NUM185-1.p
LIM+                             [Bledsoe]                  : ANA/ANA005-5.p
ls1                              [SETHEO]                   : LCL/LCL081-1.p
ls2                              [SETHEO]                   : LCL/LCL082-1.p
ls3                              [SETHEO]                   : LCL/LCL083-1.p
ls4                              [SETHEO]                   : LCL/LCL083-2.p
ls5                              [SETHEO]                   : LCL/LCL084-1.p
ls5                              [Wilson & Minker, 1976]    : SYN/SYN001-1.002.p
ls6                              [SETHEO]                   : LCL/LCL084-2.p
ls7                              [SETHEO]                   : LCL/LCL084-3.p
ls17                             [Lawrence & Starkey, 1974] : NUM/NUM016-1.p
ls23                             [Wilson & Minker, 1976]    : GRP/GRP031-2.p
ls26                             [Wilson & Minker, 1976]    : GRP/GRP034-4.p
ls28                             [Lawrence & Starkey, 1974] : NUM/NUM001-1.p
ls29                             [Lawrence & Starkey, 1974] : NUM/NUM002-1.p
ls36                             [Lawrence & Starkey, 1974] : GRP/GRP012-2.p
ls37                             [Wilson & Minker, 1976]    : RNG/RNG001-2.p
ls41                             [Lawrence & Starkey, 1974] : NUM/NUM019-1.p
ls55                             [Lawrence & Starkey, 1974] : NUM/NUM020-1.p
ls65                             [Lawrence & Starkey, 1974] : NUM/NUM021-1.p
ls68                             [Lawrence & Starkey, 1974] : NUM/NUM023-1.p
ls75                             [Lawrence & Starkey, 1974] : NUM/NUM024-1.p
ls76t1                           [Lawrence & Starkey, 1974] : NUM/NUM025-1.p
ls76t2                           [Lawrence & Starkey, 1974] : NUM/NUM026-1.p
ls87                             [Lawrence & Starkey, 1974] : NUM/NUM027-1.p
ls100                            [Wilson & Minker, 1976]    : SET/SET001-1.p
ls103                            [Wilson & Minker, 1976]    : SET/SET002-1.p
ls105                            [Wilson & Minker, 1976]    : SET/SET003-1.p
ls106                            [Wilson & Minker, 1976]    : SET/SET004-1.p
ls108                            [Wilson & Minker, 1976]    : SET/SET005-1.p
ls111                            [Wilson & Minker, 1976]    : SET/SET006-1.p
ls112                            [Wilson & Minker, 1976]    : SET/SET007-1.p
ls115                            [Wilson & Minker, 1976]    : SET/SET008-1.p
ls116                            [Wilson & Minker, 1976]    : SET/SET009-1.p
ls118                            [Wilson & Minker, 1976]    : SET/SET010-1.p
ls121                            [Wilson & Minker, 1976]    : SET/SET011-1.p
ls651                            [Lawrence & Starkey, 1974] : NUM/NUM022-1.p
LUB1                             [Quaife]                   : NUM/NUM193-1.p
LUB2                             [Quaife]                   : NUM/NUM194-1.p
LUB3                             [Quaife]                   : NUM/NUM195-1.p
LUB4                             [Quaife]                   : NUM/NUM196-1.p
LUB4-5                           [Quaife]                   : NUM/NUM197-1.p
LUB5.1                           [Quaife]                   : NUM/NUM198-1.p
LUB5.2                           [Quaife]                   : NUM/NUM199-1.p
LUB6                             [Quaife]                   : NUM/NUM200-1.p
LUB7                             [Quaife]                   : NUM/NUM201-1.p
LUB8                             [Quaife]                   : NUM/NUM202-1.p
LUB8 cor.                        [Quaife]                   : NUM/NUM203-1.p
LUB9                             [Quaife]                   : NUM/NUM204-1.p
LUB9 cor. 1                      [Quaife]                   : NUM/NUM205-1.p
LUB9 cor. 2                      [Quaife]                   : NUM/NUM206-1.p
LUB10                            [Quaife]                   : NUM/NUM207-1.p
LUB11                            [Quaife]                   : NUM/NUM208-1.p
LUB11 cor.                       [Quaife]                   : NUM/NUM209-1.p
LUB12.1                          [Quaife]                   : NUM/NUM210-1.p
LUB12.2                          [Quaife]                   : NUM/NUM211-1.p
LUB12.3                          [Quaife]                   : NUM/NUM212-1.p
LUB13                            [Quaife]                   : NUM/NUM213-1.p
LUB14                            [Quaife]                   : NUM/NUM214-1.p
LUB14 cor.                       [Quaife]                   : NUM/NUM215-1.p
Luka5                            [ANL]                      : LCL/LCL109-1.p
Luka-5                           [ROO]                      : LCL/LCL109-2.p
MA1                              [Quaife]                   : SET/SET035-6.p
MA2                              [Quaife]                   : SET/SET038-6.p
mars_venus2.in                   [ANL]                      : PUZ/PUZ007-1.p
mars_venus.in                    [ANL]                      : PUZ/PUZ006-1.p
minuses.ver1.in                  [ANL]                      : RNG/RNG004-1.p
mission.ver1.in                  [ANL]                      : PUZ/PUZ008-1.p
mission.ver2.in                  [ANL]                      : PUZ/PUZ008-2.p
morgan.five.ver1.in              [ANL]                      : LCL/LCL077-1.p
morgan.five.ver2.in              [ANL]                      : LCL/LCL078-1.p
morgan.four.ver1.in              [ANL]                      : LCL/LCL076-3.p
morgan.one.ver2.in               [ANL]                      : LCL/LCL079-1.p
morgan.six.ver1.in               [ANL]                      : LCL/LCL064-2.p
morgan.three.ver1.in             [ANL]                      : LCL/LCL076-2.p
morgan.three.ver2.in             [ANL]                      : LCL/LCL076-2.p
morgan.two.ver1.in               [ANL]                      : LCL/LCL077-2.p
MQW                              [Wilson & Minker, 1976]    : SYN/SYN031-1.p
MV1.1                            [Lusk & Wos, 1992]         : LCL/LCL110-2.p
MV1.2                            [Lusk & Wos, 1992]         : LCL/LCL112-2.p
MV2                              [Lusk & Wos, 1992]         : LCL/LCL111-2.p
MV3                              [Lusk & Wos, 1992]         : LCL/LCL114-2.p
MV4                              [Lusk & Wos, 1992]         : LCL/LCL109-2.p
MV-55                            [McCune & Wos, 1992]       : LCL/LCL109-1.p
MV-56                            [McCune & Wos, 1992]       : LCL/LCL110-1.p
MV-57                            [McCune & Wos, 1992]       : LCL/LCL111-1.p
MV-58                            [McCune & Wos, 1992]       : LCL/LCL112-1.p
MV-59                            [McCune & Wos, 1992]       : LCL/LCL113-1.p
MV-60                            [McCune & Wos, 1992]       : LCL/LCL114-1.p
MV-61                            [McCune & Wos, 1992]       : LCL/LCL115-1.p
MV-62                            [McCune & Wos, 1992]       : LCL/LCL116-1.p
mv.in part 1                     [OTTER]                    : LCL/LCL110-1.p
mv.in part 2                     [OTTER]                    : LCL/LCL111-1.p
mv.in part 3                     [OTTER]                    : LCL/LCL112-1.p
new.ver2.in                      [ANL]                      : HEN/HEN012-3.p
nonob.lop                        [SETHEO]                   : MSC/MSC006-1.p
NU3.1                            [Lusk & Wos, 1992]         : SET/SET016-1.p
NU3.2                            [Lusk & Wos, 1992]         : SET/SET018-1.p
OA6.1                            [Quaife]                   : NUM/NUM265-1.p
OA6.2                            [Quaife]                   : NUM/NUM266-1.p
OA6.3                            [Quaife]                   : NUM/NUM267-1.p
OA6.4                            [Quaife]                   : NUM/NUM268-1.p
OA7                              [Quaife]                   : NUM/NUM269-1.p
OA8                              [Quaife]                   : NUM/NUM270-1.p
OA9.1                            [Quaife]                   : NUM/NUM277-1.p
OA9.2                            [Quaife]                   : NUM/NUM278-1.p
OA9 lemma 1                      [Quaife]                   : NUM/NUM271-1.p
OA9 lemma 2                      [Quaife]                   : NUM/NUM272-1.p
OA9 lemma 3                      [Quaife]                   : NUM/NUM273-1.p
OA9 lemma 4                      [Quaife]                   : NUM/NUM274-1.p
OA9 lemma 5                      [Quaife]                   : NUM/NUM275-1.p
OA9 lemma 6                      [Quaife]                   : NUM/NUM276-1.p
OA10                             [Quaife]                   : NUM/NUM279-2.p
OM1                              [Quaife]                   : NUM/NUM186-1.p
OM2                              [Quaife]                   : NUM/NUM187-1.p
OM2.1                            [Quaife]                   : NUM/NUM280-1.p
OM2.2                            [Quaife]                   : NUM/NUM281-1.p
OM2.3                            [Quaife]                   : NUM/NUM282-1.p
OM3                              [Quaife]                   : NUM/NUM188-1.p
OM4                              [Quaife]                   : NUM/NUM189-1.p
OM5                              [Quaife]                   : NUM/NUM190-1.p
OM6                              [Quaife]                   : NUM/NUM191-1.p
OM7                              [Quaife]                   : NUM/NUM192-1.p
oona.in                          [ANL]                      : PUZ/PUZ009-1.p
OP1                              [Quaife, 1992]             : SET/SET025-7.p
OP2.1                            [Quaife, 1992]             : SET/SET101-7.p
OP2.2                            [Quaife, 1992]             : SET/SET102-7.p
OP3.1                            [Quaife, 1992]             : SET/SET103-7.p
OP3.2                            [Quaife, 1992]             : SET/SET104-7.p
OP3.3                            [Quaife, 1992]             : SET/SET105-7.p
OP6.1                            [Quaife, 1992]             : SET/SET108-7.p
OP6.2                            [Quaife, 1992]             : SET/SET109-7.p
OP6.3                            [Quaife, 1992]             : SET/SET110-7.p
OP6.4                            [Quaife, 1992]             : SET/SET111-7.p
OP6.5                            [Quaife, 1992]             : SET/SET112-7.p
OP7.1                            [Quaife, 1992]             : SET/SET020-7.p
OP7.2                            [Quaife, 1992]             : SET/SET021-7.p
OP8.1                            [Quaife, 1992]             : SET/SET113-7.p
OP8.2                            [Quaife, 1992]             : SET/SET114-7.p
OP8.3                            [Quaife, 1992]             : SET/SET115-7.p
OP8.4                            [Quaife, 1992]             : SET/SET116-7.p
OP9.1                            [Quaife, 1992]             : SET/SET117-7.p
OP9.2                            [Quaife]                   : SET/SET118-7.p
OP10                             [Quaife, 1992]             : SET/SET016-7.p
OP10 cor.1                       [Quaife, 1992]             : SET/SET119-7.p
OP10 cor.2                       [Quaife, 1992]             : SET/SET120-7.p
OP11                             [Quaife, 1992]             : SET/SET018-7.p
OP11 cor.1                       [Quaife, 1992]             : SET/SET121-7.p
OP11 cor.2                       [Quaife, 1992]             : SET/SET122-7.p
ORD1                             [Quaife]                   : NUM/NUM098-1.p
ORD1 cor                         [Quaife]                   : NUM/NUM099-1.p
ORD2                             [Quaife]                   : NUM/NUM100-1.p
ORD5.1                           [Quaife]                   : NUM/NUM101-1.p
ORD5.2                           [Quaife]                   : NUM/NUM102-1.p
ORD5 cor                         [Quaife]                   : NUM/NUM103-1.p
ORD6                             [Quaife]                   : NUM/NUM104-1.p
ORD7.1                           [Quaife]                   : NUM/NUM105-1.p
ORD7.2                           [Quaife]                   : NUM/NUM106-1.p
ORD8.1                           [Quaife]                   : NUM/NUM107-1.p
ORD8.2                           [Quaife]                   : NUM/NUM108-1.p
ORD9                             [Quaife]                   : NUM/NUM109-1.p
ORD9 cor                         [Quaife]                   : NUM/NUM110-1.p
ORD11                            [Quaife]                   : NUM/NUM111-1.p
ORD12                            [Quaife]                   : NUM/NUM112-1.p
ORD13                            [Quaife]                   : NUM/NUM113-1.p
ORD13 cor.                       [Quaife]                   : NUM/NUM114-1.p
ORD14                            [Quaife]                   : NUM/NUM115-1.p
ORD14 cor                        [Quaife]                   : NUM/NUM116-1.p
ORD15                            [Quaife]                   : NUM/NUM117-1.p
ORD16                            [Quaife]                   : NUM/NUM118-1.p
ORD17                            [Quaife]                   : NUM/NUM119-1.p
ORD18-5.1                        [Quaife]                   : NUM/NUM126-1.p
ORD18-5.2                        [Quaife]                   : NUM/NUM127-1.p
ORD18-5.3                        [Quaife]                   : NUM/NUM128-1.p
ORD18-6.1                        [Quaife]                   : NUM/NUM129-1.p
ORD18-6.2                        [Quaife]                   : NUM/NUM130-1.p
ORD18-6.3                        [Quaife]                   : NUM/NUM131-1.p
ORD18.1                          [Quaife]                   : NUM/NUM120-1.p
ORD18.2                          [Quaife]                   : NUM/NUM121-1.p
ORD18.3                          [Quaife]                   : NUM/NUM122-1.p
ORD18.4                          [Quaife]                   : NUM/NUM123-1.p
ORD18.5                          [Quaife]                   : NUM/NUM124-1.p
ORD18.6                          [Quaife]                   : NUM/NUM125-1.p
ORD20                            [Quaife]                   : NUM/NUM132-1.p
ORD20 cor.                       [Quaife]                   : NUM/NUM133-1.p
ORD21                            [Quaife]                   : NUM/NUM134-1.p
ORD22                            [Quaife]                   : NUM/NUM135-1.p
ORD23                            [Quaife]                   : NUM/NUM136-1.p
ORD24.1                          [Quaife]                   : NUM/NUM137-1.p
ORD24.2                          [Quaife]                   : NUM/NUM138-1.p
ORD24.3                          [Quaife]                   : NUM/NUM139-1.p
order2.ver3.in                   [ANL]                      : GRP/GRP025-3.p
order2.ver4.in                   [ANL]                      : GRP/GRP025-4.p
order3.ver3.in                   [ANL]                      : GRP/GRP026-3.p
order3.ver4.in                   [ANL]                      : GRP/GRP026-4.p
ovb6                             [SETHEO]                   : LCL/LCL111-1.p
Overbeek Competition 1           [Overbeek, 1990]           : GRP/GRP001-1.p
Overbeek Competition 2           [Overbeek, 1990]           : GRP/GRP002-1.p
Overbeek Competition 3           [Overbeek, 1990]           : RNG/RNG008-6.p
Overbeek Competition 4           [Overbeek, 1990]           : LCL/LCL024-1.p
Overbeek Competition 5           [Overbeek, 1990]           : LCL/LCL038-1.p
Overbeek Competition 6           [Overbeek, 1990]           : LCL/LCL111-1.p
Overbeek Competition 7           [Overbeek, 1990]           : LCL/LCL114-1.p
Overbeek Competition Eq-1        [Overbeek, 1990]           : GRP/GRP002-3.p
Overbeek Competition Eq-10       [Overbeek, 1990]           : RNG/RNG011-5.p
Overbeek Competition Eq-2        [Overbeek, 1990]           : ROB/ROB005-1.p
Overbeek Competition Eq-3        [Overbeek, 1990]           : BOO/BOO002-1.p
Overbeek Competition Eq-4        [Overbeek, 1990]           : GRP/GRP014-1.p
Overbeek Competition Eq-5        [Overbeek, 1990]           : LCL/LCL109-2.p
Overbeek Competition Eq-6        [Overbeek, 1990]           : COL/COL049-1.p
Overbeek Competition Eq-7        [Overbeek, 1990]           : RNG/RNG009-5.p
Overbeek Competition Eq-8        [Overbeek, 1990]           : COL/COL003-1.p
Overbeek Competition Eq-9        [Overbeek, 1990]           : RNG/RNG010-5.p
P1                               [Pfenning, 1988]           : LCL/LCL083-1.p
p1.lop                           [SETHEO]                   : ANA/ANA003-4.p
p1.ver1.in                       [ANL]                      : CAT/CAT001-1.p
p1.ver2.in                       [ANL]                      : CAT/CAT001-2.p
p1.ver3.in                       [ANL]                      : CAT/CAT001-3.p
p2.lop                           [SETHEO]                   : ANA/ANA004-4.p
p2.ver1.in                       [ANL]                      : CAT/CAT002-1.p
p2.ver2.in                       [ANL]                      : CAT/CAT002-2.p
p2.ver3.in                       [ANL]                      : CAT/CAT002-3.p
p3.lop                           [SETHEO]                   : ANA/ANA004-5.p
p3.ver1.in                       [ANL]                      : CAT/CAT003-1.p
p3.ver2.in                       [ANL]                      : CAT/CAT003-2.p
p3.ver3.in                       [ANL]                      : CAT/CAT003-3.p
p4.lop                           [SETHEO]                   : ANA/ANA005-4.p
p4.ver1.in                       [ANL]                      : CAT/CAT004-1.p
p4.ver2.in                       [ANL]                      : CAT/CAT004-2.p
p4.ver3.in                       [ANL]                      : CAT/CAT004-3.p
p5.lop                           [SETHEO]                   : ANA/ANA005-5.p
p5.ver1.in                       [ANL]                      : CAT/CAT005-1.p
p5.ver3.in                       [ANL]                      : CAT/CAT005-3.p
p6.ver1.in                       [ANL]                      : CAT/CAT006-1.p
p6.ver3.in                       [ANL]                      : CAT/CAT006-3.p
p7.ver1.in                       [ANL]                      : CAT/CAT007-1.p
p7.ver3.in                       [ANL]                      : CAT/CAT007-3.p
p8.ver1.in                       [ANL]                      : CAT/CAT008-1.p
p9.ver1.in                       [ANL]                      : CAT/CAT009-1.p
p9.ver3.in                       [ANL]                      : CAT/CAT009-3.p
p10.ver1.in                      [ANL]                      : CAT/CAT010-1.p
p11.ver1.in                      [ANL]                      : CAT/CAT011-1.p
p11.ver2.in                      [ANL]                      : CAT/CAT011-2.p
p11.ver3.in                      [ANL]                      : CAT/CAT011-3.p
p12.ver1.in                      [ANL]                      : CAT/CAT012-1.p
p12.ver3.in                      [ANL]                      : CAT/CAT012-3.p
p13.ver1.in                      [ANL]                      : CAT/CAT013-1.p
p13.ver3.in                      [ANL]                      : CAT/CAT013-3.p
p14.ver1.in                      [ANL]                      : CAT/CAT014-1.p
p14.ver2.in                      [ANL]                      : CAT/CAT014-2.p
p14.ver3.in                      [ANL]                      : CAT/CAT014-3.p
p15.related.in                   [ANL]                      : CAT/CAT015-3.p
p15.ver1.in                      [ANL]                      : CAT/CAT019-1.p
p15.ver2.in                      [ANL]                      : CAT/CAT019-2.p
p15.ver3.no1.in                  [ANL]                      : CAT/CAT019-5.p
p15.ver3.no2.in                  [ANL]                      : CAT/CAT019-3.p
p15.ver3.no4.in                  [ANL]                      : CAT/CAT019-3.p
p16.ver3.in                      [ANL]                      : CAT/CAT016-3.p
p17.ver3.in                      [ANL]                      : CAT/CAT017-3.p
p18.ver1.in                      [ANL]                      : CAT/CAT018-1.p
p18.ver3.in                      [ANL]                      : CAT/CAT018-3.p
p35.in                           [ANL]                      : SYN/SYN064-1.p
p36.in                           [ANL]                      : SYN/SYN065-1.p
p37.in                           [ANL]                      : SYN/SYN066-1.p
p38a.in                          [ANL]                      : SYN/SYN067-1.p
p38b.in                          [ANL]                      : SYN/SYN067-1.p
p39.in                           [ANL]                      : SET/SET043-5.p
p40.in                           [ANL]                      : SET/SET044-5.p
p41.in                           [ANL]                      : SET/SET045-5.p
p42.in                           [ANL]                      : SET/SET046-5.p
p43.in                           [ANL]                      : SET/SET047-5.p
p44.in                           [ANL]                      : SYN/SYN068-1.p
p45.in                           [ANL]                      : SYN/SYN069-1.p
p46.in                           [ANL]                      : SYN/SYN070-1.p
PC1                              [Quaife, 1992]             : SET/SET363-6.p
PC2                              [Quaife, 1992]             : SET/SET364-6.p
PC3                              [Quaife, 1992]             : SET/SET365-6.p
PC4.1                            [Quaife, 1992]             : SET/SET366-6.p
PC4.2                            [Quaife, 1992]             : SET/SET367-6.p
PC4.3                            [Quaife, 1992]             : SET/SET368-6.p
PC5                              [Quaife, 1992]             : SET/SET369-6.p
PC6                              [Quaife, 1992]             : SET/SET370-6.p
PC7                              [Quaife, 1992]             : SET/SET371-6.p
PC8                              [Quaife, 1992]             : SET/SET372-6.p
PC9                              [Quaife]                   : SET/SET373-6.p
PC10                             [Quaife]                   : SET/SET374-6.p
PC11                             [Quaife]                   : SET/SET375-6.p
PC12                             [Quaife]                   : SET/SET376-6.p
PC12 cor.1                       [Quaife]                   : SET/SET377-6.p
PC12 cor.2                       [Quaife]                   : SET/SET378-6.p
PC12 cor.3                       [Quaife]                   : SET/SET379-6.p
Pelletier 1                      [Pelletier, 1986]          : SYN/SYN040-1.p
Pelletier 2                      [Pelletier, 1986]          : SYN/SYN001-1.001.p
Pelletier 3                      [Pelletier, 1986]          : SYN/SYN041-1.p
Pelletier 4                      [Pelletier, 1986]          : SYN/SYN042-1.p
Pelletier 5                      [Pelletier, 1986]          : SYN/SYN043-1.p
Pelletier 6                      [Pelletier, 1986]          : SYN/SYN001-1.001.p
Pelletier 7                      [Pelletier, 1986]          : SYN/SYN001-1.001.p
Pelletier 8                      [Pelletier, 1986]          : SYN/SYN001-1.001.p
Pelletier 9 & 14                 [Pelletier, 1986]          : SYN/SYN001-1.002.p
Pelletier 10                     [Pelletier, 1986]          : SYN/SYN044-1.p
Pelletier 11                     [Pelletier, 1986]          : SYN/SYN001-1.001.p
Pelletier 12                     [Pelletier, 1986]          : SYN/SYN001-1.003.p
Pelletier 13                     [Pelletier, 1986]          : SYN/SYN045-1.p
Pelletier 15                     [Pelletier, 1986]          : SYN/SYN046-1.p
Pelletier 16                     [Pelletier, 1986]          : SYN/SYN041-1.p
Pelletier 17                     [Pelletier, 1986]          : SYN/SYN047-1.p
Pelletier 18                     [Pelletier, 1986]          : SYN/SYN048-1.p
Pelletier 19                     [Pelletier, 1986]          : SYN/SYN049-1.p
Pelletier 20                     [Pelletier, 1986]          : SYN/SYN050-1.p
Pelletier 21                     [Pelletier, 1986]          : SYN/SYN051-1.p
Pelletier 22                     [Pelletier, 1986]          : SYN/SYN052-1.p
Pelletier 23                     [Pelletier, 1986]          : SYN/SYN053-1.p
Pelletier 24                     [Pelletier, 1986]          : SYN/SYN054-1.p
Pelletier 25                     [Pelletier, 1986]          : SYN/SYN055-1.p
Pelletier 26                     [Pelletier, 1986]          : SYN/SYN056-1.p
Pelletier 27                     [Pelletier, 1986]          : SYN/SYN057-1.p
Pelletier 28                     [Pelletier, 1986]          : SYN/SYN058-1.p
Pelletier 29                     [Pelletier, 1986]          : SYN/SYN059-1.p
Pelletier 30                     [Pelletier, 1986]          : SYN/SYN060-1.p
Pelletier 31                     [Pelletier, 1986]          : SYN/SYN061-1.p
Pelletier 32                     [Pelletier, 1986]          : SYN/SYN062-1.p
Pelletier 33                     [Pelletier, 1986]          : SYN/SYN063-1.p
Pelletier 34                     [Pelletier, 1986]          : SYN/SYN036-1.p
Pelletier 35                     [Pelletier, 1986]          : SYN/SYN064-1.p
Pelletier 36                     [Pelletier, 1986]          : SYN/SYN065-1.p
Pelletier 37                     [Pelletier, 1986]          : SYN/SYN066-1.p
Pelletier 38                     [Pelletier, 1986]          : SYN/SYN067-1.p
Pelletier 39                     [Pelletier, 1986]          : SET/SET043-5.p
Pelletier 40                     [Pelletier, 1986]          : SET/SET044-5.p
Pelletier 41                     [Pelletier, 1986]          : SET/SET045-5.p
Pelletier 42                     [Pelletier, 1986]          : SET/SET046-5.p
Pelletier 43                     [Pelletier, 1986]          : SET/SET047-5.p
Pelletier 44                     [Pelletier, 1986]          : SYN/SYN068-1.p
Pelletier 45                     [Pelletier, 1986]          : SYN/SYN069-1.p
Pelletier 46                     [Pelletier, 1986]          : SYN/SYN070-1.p
Pelletier 47                     [Pelletier, 1986]          : PUZ/PUZ031-1.p
Pelletier 48                     [Pelletier, 1986]          : SYN/SYN071-1.p
Pelletier 49                     [Pelletier, 1986]          : SYN/SYN072-1.p
Pelletier 50                     [Pelletier, 1986]          : SYN/SYN073-1.p
Pelletier 51                     [Pelletier, 1986]          : SYN/SYN074-1.p
Pelletier 52                     [Pelletier, 1986]          : SYN/SYN075-1.p
Pelletier 53                     [Pelletier, 1986]          : SYN/SYN076-1.p
Pelletier 54                     [Pelletier, 1986]          : SYN/SYN077-1.p
Pelletier 55                     [Pelletier, 1986]          : PUZ/PUZ001-2.p
Pelletier 56                     [Pelletier, 1986]          : SYN/SYN078-1.p
Pelletier 57                     [Pelletier, 1986]          : SYN/SYN079-1.p
Pelletier 58                     [Pelletier, 1986]          : SYN/SYN080-1.p
Pelletier 59                     [Pelletier, 1986]          : SYN/SYN081-1.p
Pelletier 60                     [Pelletier, 1986]          : SYN/SYN082-1.p
Pelletier 61                     [Pelletier, 1986]          : SYN/SYN083-1.p
Pelletier 62                     [Pelletier, 1986]          : SYN/SYN084-1.p
Pelletier 63                     [Pelletier, 1986]          : GRP/GRP011-4.p
Pelletier 64                     [Pelletier, 1986]          : GRP/GRP010-4.p
Pelletier 65                     [Pelletier, 1986]          : GRP/GRP001-4.p
Pelletier 66                     [Pelletier, 1986]          : LCL/LCL076-1.p
Pelletier 67                     [Pelletier, 1986]          : LCL/LCL077-1.p
Pelletier 68                     [Pelletier, 1986]          : LCL/LCL078-1.p
Pelletier 69                     [Pelletier, 1986]          : LCL/LCL039-1.p
Pelletier 71                     [Pelletier, 1986]          : SYN/SYN007-1.001.p
Pelletier 71                     [Pelletier, 1986]          : SYN/SYN007-1.002.p
Pelletier 71                     [Pelletier, 1986]          : SYN/SYN007-1.003.p
Pelletier 71                     [Pelletier, 1986]          : SYN/SYN007-1.004.p
Pelletier 71                     [Pelletier, 1986]          : SYN/SYN007-1.005.p
Pelletier 71                     [Pelletier, 1986]          : SYN/SYN007-1.006.p
Pelletier 71                     [Pelletier, 1986]          : SYN/SYN007-1.007.p
Pelletier 72                     [Pelletier, 1986]          : MSC/MSC007-1.004.p
Pelletier 73                     [Pelletier, 1986]          : MSC/MSC007-2.004.p
Pelletier 74                     [Pelletier, 1986]          : GRA/GRA001-1.p
pigeon.in                        [OTTER]                    : MSC/MSC007-1.004.p
pigs.ver1.in                     [ANL]                      : PUZ/PUZ029-1.p
PO1                              [Quaife, 1992]             : SET/SET054-7.p
PO3                              [Quaife, 1992]             : SET/SET027-7.p
prob1.ver1.in                    [ANL]                      : ANA/ANA003-2.p
prob1.ver1.in                    [ANL]                      : BOO/BOO008-1.p
prob1.ver2.in                    [ANL]                      : ANA/ANA003-1.p
prob1.ver2.in                    [ANL]                      : BOO/BOO008-2.p
prob2.ver1.in                    [ANL]                      : ANA/ANA005-2.p
prob2_part1.ver1.in              [ANL]                      : BOO/BOO003-1.p
prob2_part1.ver2.in              [ANL]                      : BOO/BOO003-2.p
prob2_part2.ver1                 [ANL]                      : BOO/BOO004-1.p
prob2_part2.ver2.in              [ANL]                      : BOO/BOO004-2.p
prob3_part1.ver1.in              [ANL]                      : BOO/BOO005-1.p
prob3_part1.ver2.in              [ANL]                      : BOO/BOO005-2.p
prob3_part2.ver1                 [ANL]                      : BOO/BOO006-1.p
prob3_part2.ver2.in              [ANL]                      : BOO/BOO006-2.p
prob4_part1.ver1                 [ANL]                      : BOO/BOO009-1.p
prob4_part1.ver2.in              [ANL]                      : BOO/BOO009-2.p
prob4_part2.ver1                 [ANL]                      : BOO/BOO010-1.p
prob4_part2.ver2.in              [ANL]                      : BOO/BOO010-2.p
prob7.ver1                       [ANL]                      : BOO/BOO011-1.p
prob7.ver2.in                    [ANL]                      : BOO/BOO011-2.p
prob8.ver1                       [ANL]                      : BOO/BOO012-3.p
prob8.ver2.in                    [ANL]                      : BOO/BOO012-2.p
prob9.ver1                       [ANL]                      : BOO/BOO013-3.p
prob9.ver2.in                    [ANL]                      : BOO/BOO013-2.p
prob10.ver2.in                   [ANL]                      : BOO/BOO014-2.p
prob10.ver2.in                   [ANL]                      : BOO/BOO015-2.p
prob.10.ver1                     [ANL]                      : BOO/BOO014-3.p
PV1                              [McCharen, et al., 1976]   : PRV/PRV001-1.p
q1-10.lop                        [SETHEO]                   : PUZ/PUZ034-1.010.p
q1-2.lop                         [SETHEO]                   : PUZ/PUZ034-1.008.p
q1-9.lop                         [SETHEO]                   : PUZ/PUZ034-1.009.p
Q2                               [Quaife, 1989]             : GEO/GEO074-2.p
Q3.1                             [Quaife, 1989]             : GEO/GEO075-2.p
QW                               [Wilson & Minker, 1976]    : SYN/SYN034-1.p
R1                               [McCharen, et al., 1976]   : RNG/RNG001-4.p
R2                               [McCharen, et al., 1976]   : RNG/RNG004-2.p
R2.1                             [Quaife, 1989]             : GEO/GEO054-2.p
R2.2                             [Quaife, 1989]             : GEO/GEO055-2.p
R3                               [McCharen, et al., 1976]   : RNG/RNG008-2.p
R3.1                             [Quaife, 1989]             : GEO/GEO056-2.p
R3.2                             [Quaife, 1989]             : GEO/GEO057-2.p
R4                               [Quaife, 1989]             : GEO/GEO058-2.p
R5                               [Quaife, 1989]             : GEO/GEO059-2.p
R6                               [Quaife, 1989]             : GEO/GEO060-2.p
R-85                             [McCune & Wos, 1992]       : LCL/LCL117-1.p
R-86                             [McCune & Wos, 1992]       : LCL/LCL118-1.p
R-87                             [McCune & Wos, 1992]       : LCL/LCL119-1.p
R-88                             [McCune & Wos, 1992]       : LCL/LCL120-1.p
RA1                              [Lusk & Wos, 1992]         : ROB/ROB003-1.p
RA1.1                            [Quaife, 1992]             : SET/SET302-6.p
RA1.2                            [Quaife, 1992]             : SET/SET303-6.p
RA1.3                            [Quaife, 1992]             : SET/SET304-6.p
RA2                              [Lusk & Wos, 1992]         : ROB/ROB010-1.p
RA2.1                            [Quaife, 1992]             : SET/SET305-6.p
RA2.2                            [Quaife, 1992]             : SET/SET306-6.p
RA3                              [Lusk & Wos, 1992]         : ROB/ROB005-1.p
RA3                              [Quaife, 1992]             : SET/SET307-6.p
RA3 cor.1                        [Quaife, 1992]             : SET/SET308-6.p
RA3 cor.2                        [Quaife, 1992]             : SET/SET309-6.p
RA3 cor.3                        [Quaife, 1992]             : SET/SET310-6.p
RA4                              [Lusk & Wos, 1992]         : ROB/ROB006-1.p
RA4                              [Quaife, 1992]             : SET/SET311-6.p
RA5                              [Lusk & Wos, 1992]         : ROB/ROB007-1.p
RA5                              [Quaife, 1992]             : SET/SET312-6.p
RA6                              [Quaife, 1992]             : SET/SET313-6.p
RA7                              [Quaife, 1992]             : SET/SET314-6.p
RA7 cor.                         [Quaife, 1992]             : SET/SET315-6.p
RA8                              [Quaife, 1992]             : SET/SET316-6.p
RA8 cor.1                        [Quaife, 1992]             : SET/SET317-6.p
RA8 cor.2                        [Quaife, 1992]             : SET/SET318-6.p
RA8 cor.3                        [Quaife, 1992]             : SET/SET319-6.p
RA8 cor.4                        [Quaife, 1992]             : SET/SET320-6.p
RA9.1                            [Quaife, 1992]             : SET/SET321-6.p
RA9.2                            [Quaife, 1992]             : SET/SET322-6.p
RA10                             [Quaife]                   : SET/SET323-6.p
RA-1                             [Wos, et al., 1990]        : ROB/ROB024-1.p
RA-2                             [Wos, et al., 1990]        : ROB/ROB025-1.p
RC-1                             [Wos, et al., 1990]        : LCL/LCL119-1.p
RC-2                             [Wos, et al., 1990]        : LCL/LCL168-1.p
RE1                              [Quaife, 1992]             : SET/SET515-6.p
RE2                              [Quaife, 1992]             : SET/SET516-6.p
RE3                              [Quaife, 1992]             : SET/SET517-6.p
RE4                              [Quaife, 1992]             : SET/SET518-6.p
RE5.1                            [Quaife, 1992]             : SET/SET519-6.p
RE5.2                            [Quaife, 1992]             : SET/SET520-6.p
RE6.1                            [Quaife, 1992]             : SET/SET521-6.p
RE6.2                            [Quaife, 1992]             : SET/SET522-6.p
RE7                              [Quaife, 1992]             : SET/SET523-6.p
RE8.1                            [Quaife, 1992]             : SET/SET524-6.p
RE8.2                            [Quaife, 1992]             : SET/SET525-6.p
RE9.1                            [Quaife, 1992]             : SET/SET526-6.p
RE9.2                            [Quaife, 1992]             : SET/SET527-6.p
RE9 cor.                         [Quaife, 1992]             : SET/SET528-6.p
RE10.1                           [Quaife, 1992]             : SET/SET529-6.p
RE10.2                           [Quaife, 1992]             : SET/SET530-6.p
RG-102                           [McCune & Wos, 1992]       : LCL/LCL121-1.p
RG-103                           [McCune & Wos, 1992]       : LCL/LCL122-1.p
RG-104                           [McCune & Wos, 1992]       : LCL/LCL123-1.p
RG-105                           [McCune & Wos, 1992]       : LCL/LCL124-1.p
RG-106                           [McCune & Wos, 1992]       : LCL/LCL125-1.p
RG-107                           [McCune & Wos, 1992]       : LCL/LCL126-1.p
RG-108                           [McCune & Wos, 1992]       : LCL/LCL127-1.p
RG-109                           [McCune & Wos, 1992]       : LCL/LCL128-1.p
RG-110                           [McCune & Wos, 1992]       : LCL/LCL129-1.p
RG-111                           [McCune & Wos, 1992]       : LCL/LCL130-1.p
RG-112                           [McCune & Wos, 1992]       : LCL/LCL131-1.p
RL1                              [Quaife, 1992]             : SET/SET380-6.p
RL2                              [Quaife, 1992]             : SET/SET381-6.p
RL2 cor.1                        [Quaife, 1992]             : SET/SET382-6.p
RL2 cor.2                        [Quaife, 1992]             : SET/SET383-6.p
RL3                              [Quaife, 1992]             : SET/SET384-6.p
RL3 cor.                         [Quaife, 1992]             : SET/SET385-6.p
RL4                              [Quaife]                   : SET/SET386-6.p
ROB1                             [Wilson & Minker, 1976]    : SYN/SYN035-1.p
ROB2                             [Wilson & Minker, 1976]    : GRP/GRP001-5.p
Robbins                          [ROO]                      : ROB/ROB023-1.p
robbins.in                       [OTTER]                    : ROB/ROB003-1.p
RP1.1                            [Quaife, 1992]             : SET/SET477-6.p
RP1.2                            [Quaife, 1992]             : SET/SET478-6.p
RP2.1                            [Quaife, 1992]             : SET/SET479-6.p
RP2.2                            [Quaife, 1992]             : SET/SET480-6.p
RP3                              [Quaife, 1992]             : SET/SET481-6.p
RP4                              [Quaife, 1992]             : SET/SET482-6.p
RP5                              [Quaife, 1992]             : SET/SET483-6.p
RP6                              [Quaife, 1992]             : SET/SET484-6.p
RP7                              [Quaife, 1992]             : SET/SET485-6.p
RP8                              [Quaife, 1992]             : SET/SET486-6.p
RP9                              [Quaife, 1992]             : SET/SET487-6.p
RP10                             [Quaife, 1992]             : SET/SET488-6.p
RP11.1                           [Quaife, 1992]             : SET/SET489-6.p
RP11.2                           [Quaife, 1992]             : SET/SET490-6.p
RS0                              [Quaife]                   : SET/SET237-6.p
RS0 cor.                         [Quaife]                   : SET/SET238-6.p
RS1                              [Quaife, 1992]             : SET/SET239-6.p
RS2                              [Quaife, 1992]             : SET/SET240-6.p
RS3                              [Quaife, 1992]             : SET/SET241-6.p
RS4                              [Quaife, 1992]             : SET/SET242-6.p
RS5                              [Quaife, 1992]             : SET/SET243-6.p
RS6.1                            [Quaife, 1992]             : SET/SET244-6.p
RS6.2                            [Quaife, 1992]             : SET/SET245-6.p
RS6.3                            [Quaife, 1992]             : SET/SET246-6.p
RS6.4                            [Quaife, 1992]             : SET/SET247-6.p
RS7                              [Quaife, 1992]             : SET/SET248-6.p
RS8                              [Quaife, 1992]             : SET/SET249-6.p
RS8 cor.                         [Quaife, 1992]             : SET/SET250-6.p
RS9                              [Quaife, 1992]             : SET/SET251-6.p
RS10.1                           [Quaife, 1992]             : SET/SET252-6.p
RS10.2                           [Quaife, 1992]             : SET/SET253-6.p
RS11.1                           [Quaife, 1992]             : SET/SET254-6.p
RS11.2                           [Quaife, 1992]             : SET/SET255-6.p
RS11.3                           [Quaife, 1992]             : SET/SET256-6.p
RS12                             [Quaife, 1992]             : SET/SET257-6.p
RT1                              [Lusk & Wos, 1992]         : RNG/RNG008-7.p
RT2                              [Lusk & Wos, 1992]         : RNG/RNG009-7.p
RT3                              [Lusk & Wos, 1992]         : RNG/RNG035-7.p
RT4                              [Lusk & Wos, 1992]         : RNG/RNG036-7.p
S1                               [McCharen, et al., 1976]   : SET/SET012-1.p
S1                               [Pfenning, 1988]           : LCL/LCL082-1.p
S2                               [McCharen, et al., 1976]   : SET/SET013-1.p
S3                               [McCharen, et al., 1976]   : SET/SET015-1.p
S4                               [McCharen, et al., 1976]   : SET/SET014-2.p
salt.in                          [OTTER]                    : PUZ/PUZ030-0.p
SAM's lemma                      [McCharen, et al., 1976]   : LAT/LAT005-1.p
SAM's lemma                      [McCune, 1988]             : LAT/LAT005-3.p
SAM's lemma                      [ROO]                      : LAT/LAT005-2.p
SAMslemma.ver1.in                [ANL]                      : LAT/LAT005-1.p
sam_hyp.in                       [OTTER]                    : LAT/LAT005-2.p
SB2.1                            [Quaife]                   : SET/SET123-6.p
SB2.2                            [Quaife]                   : SET/SET124-6.p
SB2.3                            [Quaife]                   : SET/SET125-6.p
SB3                              [Quaife]                   : SET/SET126-6.p
SB4                              [Quaife]                   : SET/SET127-6.p
SB5.1                            [Quaife]                   : SET/SET128-6.p
SB5.10                           [Quaife]                   : SET/SET137-6.p
SB5.11                           [Quaife]                   : SET/SET138-6.p
SB5.2                            [Quaife]                   : SET/SET129-6.p
SB5.3                            [Quaife]                   : SET/SET130-6.p
SB5.4                            [Quaife]                   : SET/SET131-6.p
SB5.5                            [Quaife]                   : SET/SET132-6.p
SB5.6                            [Quaife]                   : SET/SET133-6.p
SB5.7                            [Quaife]                   : SET/SET134-6.p
SB5.8                            [Quaife]                   : SET/SET135-6.p
SB5.9                            [Quaife]                   : SET/SET136-6.p
SB6.1                            [Quaife]                   : SET/SET139-6.p
SB6.2                            [Quaife]                   : SET/SET140-6.p
SB6.3                            [Quaife]                   : SET/SET141-6.p
SB7                              [Quaife]                   : SET/SET142-6.p
SC1.1                            [Quaife, 1992]             : SET/SET344-6.p
SC1.2                            [Quaife, 1992]             : SET/SET345-6.p
SC2                              [Quaife, 1992]             : SET/SET346-6.p
SC3.1                            [Quaife, 1992]             : SET/SET347-6.p
SC3.2                            [Quaife, 1992]             : SET/SET348-6.p
SC3.3                            [Quaife, 1992]             : SET/SET349-6.p
SC3.4                            [Quaife]                   : SET/SET350-6.p
SC4                              [Quaife, 1992]             : SET/SET351-6.p
SC5                              [Quaife, 1992]             : SET/SET352-6.p
SC5 cor.                         [Quaife, 1992]             : SET/SET353-6.p
SC6                              [Quaife, 1992]             : SET/SET354-6.p
SC7                              [Quaife, 1992]             : SET/SET355-6.p
SC7 cor.                         [Quaife, 1992]             : SET/SET356-6.p
SC8                              [Quaife, 1992]             : SET/SET357-6.p
SC9                              [Quaife, 1992]             : SET/SET358-6.p
SC10                             [Quaife, 1992]             : SET/SET359-6.p
SC11.1                           [Quaife, 1992]             : SET/SET360-6.p
SC11.2                           [Quaife, 1992]             : SET/SET361-6.p
SC12                             [Quaife]                   : SET/SET362-6.p
SE1                              [Quaife]                   : NUM/NUM089-1.p
SE1 cor                          [Quaife]                   : NUM/NUM090-1.p
SE2                              [Quaife]                   : NUM/NUM091-1.p
SE2 cor. 1                       [Quaife]                   : NUM/NUM092-1.p
SE2 cor. 2                       [Quaife]                   : NUM/NUM093-1.p
SE3.1                            [Quaife]                   : NUM/NUM094-1.p
SE3.2                            [Quaife]                   : NUM/NUM095-1.p
SE4                              [Quaife]                   : NUM/NUM096-1.p
SE4 cor.                         [Quaife]                   : NUM/NUM097-1.p
SG1                              [Quaife]                   : NUM/NUM057-1.p
SG2                              [Quaife]                   : NUM/NUM058-1.p
SG3                              [Quaife]                   : NUM/NUM059-1.p
SG4.1                            [Quaife]                   : NUM/NUM060-1.p
SG4.2                            [Quaife]                   : NUM/NUM061-1.p
SG5                              [Quaife]                   : NUM/NUM062-1.p
SG6                              [Quaife]                   : NUM/NUM063-1.p
shortburst                       [Wilson & Minker, 1976]    : COM/COM001-1.p
SP1                              [Quaife, 1992]             : SET/SET060-7.p
SP2                              [Quaife, 1992]             : SET/SET061-7.p
SP3                              [Quaife, 1992]             : SET/SET062-7.p
SP3 cor.                         [Quaife, 1992]             : SET/SET063-7.p
SP4                              [Quaife, 1992]             : SET/SET064-7.p
SP5                              [Quaife, 1992]             : SET/SET065-7.p
SP6                              [Quaife, 1992]             : SET/SET503-6.p
SP6 cor.1                        [Quaife, 1992]             : SET/SET504-6.p
SP6 cor.2                        [Quaife, 1992]             : SET/SET505-6.p
SP7.1                            [Quaife, 1992]             : SET/SET506-6.p
SP7.2                            [Quaife, 1992]             : SET/SET507-6.p
SP8.1                            [Quaife, 1992]             : SET/SET508-6.p
SP8.2                            [Quaife, 1992]             : SET/SET509-6.p
SP9                              [Quaife, 1992]             : SET/SET510-6.p
SP10.1                           [Quaife, 1992]             : SET/SET511-6.p
SP10.2                           [Quaife, 1992]             : SET/SET512-6.p
SP10.3                           [Quaife, 1992]             : SET/SET513-6.p
SP11                             [Quaife, 1992]             : SET/SET514-6.p
SR1                              [Quaife, 1992]             : SET/SET451-6.p
SR2                              [Quaife, 1992]             : SET/SET452-6.p
SR3                              [Quaife, 1992]             : SET/SET453-6.p
SS1                              [Quaife, 1992]             : SET/SET077-7.p
SS1 cor.                         [Quaife]                   : SET/SET078-7.p
SS2                              [Quaife, 1992]             : SET/SET024-7.p
SS2 cor.1                        [Quaife, 1992]             : SET/SET079-7.p
SS2 cor.2                        [Quaife]                   : SET/SET080-7.p
SS3                              [Quaife, 1992]             : SET/SET081-7.p
SS4                              [Quaife, 1992]             : SET/SET082-7.p
SS5.1                            [Quaife, 1992]             : SET/SET083-7.p
SS5.2                            [Quaife, 1992]             : SET/SET084-7.p
SS5.5                            [Quaife]                   : SET/SET085-7.p
SS6.1                            [Quaife, 1992]             : SET/SET086-7.p
SS6.2                            [Quaife, 1992]             : SET/SET087-7.p
SS6.3                            [Quaife, 1992]             : SET/SET088-7.p
SS6.4                            [Quaife, 1992]             : SET/SET089-7.p
SS7                              [Quaife, 1992]             : SET/SET090-7.p
SS8.1                            [Quaife, 1992]             : SET/SET091-7.p
SS8.2                            [Quaife, 1992]             : SET/SET092-7.p
SS9                              [Quaife, 1992]             : SET/SET093-7.p
SS10                             [Quaife, 1992]             : SET/SET094-7.p
SS11                             [Quaife, 1992]             : SET/SET095-7.p
SS12                             [Quaife, 1992]             : SET/SET096-7.p
SS13                             [Quaife, 1992]             : SET/SET097-7.p
SS13 cor.1                       [Quaife, 1992]             : SET/SET098-7.p
SS13 cor.2                       [Quaife, 1992]             : SET/SET099-7.p
SS14                             [Quaife]                   : SET/SET100-7.p
stage1.in & stage2.in            [OTTER]                    : COL/COL025-1.p
steam.in                         [OTTER]                    : PUZ/PUZ031-1.p
steamroller.ver1.in              [ANL]                      : PUZ/PUZ031-1.p
SU1                              [Quaife, 1992]             : SET/SET183-6.p
SU2                              [Quaife, 1992]             : SET/SET184-6.p
SU3                              [Quaife, 1992]             : SET/SET185-6.p
SU4                              [Quaife, 1992]             : SET/SET186-6.p
SU5                              [Quaife, 1992]             : SET/SET187-6.p
SU6                              [Quaife, 1992]             : SET/SET188-6.p
SU6 cor.                         [Quaife]                   : SET/SET189-6.p
SU7                              [Quaife, 1992]             : SET/SET190-6.p
SU8                              [Quaife, 1992]             : SET/SET191-6.p
SU9                              [Quaife, 1992]             : SET/SET192-6.p
SU10                             [Quaife, 1992]             : SET/SET193-6.p
subgroup.in                      [OTTER]                    : GRP/GRP039-6.p
subset.ver1.in                   [ANL]                      : SET/SET014-2.p
subset.ver2.in                   [ANL]                      : SET/SET014-4.p
SUC1.1                           [Quaife]                   : NUM/NUM140-1.p
SUC1.2                           [Quaife]                   : NUM/NUM141-1.p
SUC1.3                           [Quaife]                   : NUM/NUM142-1.p
SUC1 cor.                        [Quaife]                   : NUM/NUM143-1.p
SUC2                             [Quaife]                   : NUM/NUM144-1.p
SUC2 cor.                        [Quaife]                   : NUM/NUM145-1.p
SUC3                             [Quaife]                   : NUM/NUM146-1.p
SUC4                             [Quaife]                   : NUM/NUM147-1.p
SUC5                             [Quaife]                   : NUM/NUM148-1.p
SUC6                             [Quaife]                   : NUM/NUM149-1.p
SUC6 cor. 1                      [Quaife]                   : NUM/NUM150-1.p
SUC6 cor. 2                      [Quaife]                   : NUM/NUM151-1.p
SUC6 cor. 3                      [Quaife]                   : NUM/NUM152-1.p
SUC6 cor. 4                      [Quaife]                   : NUM/NUM153-1.p
SUC6 cor. 5                      [Quaife]                   : NUM/NUM154-1.p
SUC7                             [Quaife]                   : NUM/NUM155-1.p
SUC9.1                           [Quaife]                   : NUM/NUM156-1.p
SUC9.2                           [Quaife]                   : NUM/NUM157-1.p
SUC9.3                           [Quaife]                   : NUM/NUM158-1.p
SUC9.4                           [Quaife]                   : NUM/NUM159-1.p
SUC10                            [Quaife]                   : NUM/NUM160-1.p
SUC10 cor.                       [Quaife]                   : NUM/NUM161-1.p
SUC11                            [Quaife]                   : NUM/NUM162-1.p
SUC12.1                          [Quaife]                   : NUM/NUM163-1.p
SUC12.2                          [Quaife]                   : NUM/NUM164-1.p
SUC13.1                          [Quaife]                   : NUM/NUM165-1.p
SUC13.2                          [Quaife]                   : NUM/NUM166-1.p
SUC14                            [Quaife]                   : NUM/NUM167-1.p
SUC14 cor.                       [Quaife]                   : NUM/NUM168-1.p
SUC15.1                          [Quaife]                   : NUM/NUM169-1.p
SUC15.2                          [Quaife]                   : NUM/NUM170-1.p
SUC15.3                          [Quaife]                   : NUM/NUM171-1.p
SUC16                            [Quaife]                   : NUM/NUM172-1.p
SUC17                            [Quaife]                   : NUM/NUM173-1.p
SUC18                            [Quaife]                   : NUM/NUM174-1.p
SUC19                            [Quaife]                   : NUM/NUM175-1.p
SUC20                            [Quaife]                   : NUM/NUM176-1.p
SUC21.1                          [Quaife]                   : NUM/NUM177-1.p
SUC21.2                          [Quaife]                   : NUM/NUM178-1.p
SUC21.3                          [Quaife]                   : NUM/NUM179-1.p
SV1                              [Quaife, 1992]             : SET/SET425-6.p
SV3.1                            [Quaife, 1992]             : SET/SET426-6.p
SV3.2                            [Quaife, 1992]             : SET/SET427-6.p
SV3.3                            [Quaife, 1992]             : SET/SET428-6.p
SV4                              [Quaife, 1992]             : SET/SET429-6.p
SV5                              [Quaife, 1992]             : SET/SET430-6.p
SV6                              [Quaife, 1992]             : SET/SET431-6.p
SY1                              [Quaife]                   : NUM/NUM028-1.p
SY2                              [Quaife]                   : NUM/NUM029-1.p
SY3                              [Quaife]                   : NUM/NUM030-1.p
SY4                              [Quaife]                   : NUM/NUM031-1.p
SY5                              [Quaife]                   : NUM/NUM032-1.p
SY6                              [Quaife]                   : NUM/NUM033-1.p
SY7                              [Quaife]                   : NUM/NUM034-1.p
SY8                              [Quaife]                   : NUM/NUM035-1.p
SY9                              [Quaife]                   : NUM/NUM036-1.p
SY10.1                           [Quaife]                   : NUM/NUM037-1.p
SY10.2                           [Quaife]                   : NUM/NUM038-1.p
T1                               [McCharen, et al., 1976]   : GEO/GEO001-1.p
T1                               [Quaife, 1989]             : GEO/GEO001-2.p
t1.ver1.in                       [ANL]                      : GEO/GEO001-1.p
T2                               [McCharen, et al., 1976]   : GEO/GEO002-1.p
T2                               [Quaife, 1989]             : GEO/GEO002-2.p
t2.ver1.in                       [ANL]                      : GEO/GEO002-1.p
T3                               [McCharen, et al., 1976]   : GEO/GEO003-1.p
T3                               [Quaife, 1989]             : GEO/GEO003-2.p
t3.ver1.in                       [ANL]                      : GEO/GEO003-1.p
T4                               [McCharen, et al., 1976]   : GEO/GEO004-1.p
T4                               [Quaife, 1989]             : GEO/GEO004-2.p
t4.ver1.in                       [ANL]                      : GEO/GEO004-1.p
T5                               [McCharen, et al., 1976]   : GEO/GEO005-1.p
T5                               [Quaife, 1989]             : GEO/GEO005-2.p
t5.ver1.in                       [ANL]                      : GEO/GEO005-1.p
T6                               [McCharen, et al., 1976]   : GEO/GEO006-1.p
T6                               [Quaife, 1989]             : GEO/GEO006-2.p
t6.ver1.in                       [ANL]                      : GEO/GEO006-1.p
T7                               [McCharen, et al., 1976]   : GEO/GEO007-1.p
T7                               [Quaife, 1989]             : GEO/GEO007-2.p
t7.ver1.in                       [ANL]                      : GEO/GEO007-1.p
T8                               [McCharen, et al., 1976]   : GEO/GEO008-1.p
T8                               [Quaife, 1989]             : GEO/GEO008-2.p
t8.ver1.in                       [ANL]                      : GEO/GEO008-1.p
T9                               [McCharen, et al., 1976]   : GEO/GEO009-1.p
T9                               [Quaife, 1989]             : GEO/GEO009-2.p
t9.ver1.in                       [ANL]                      : GEO/GEO009-1.p
T10                              [McCharen, et al., 1976]   : GEO/GEO010-1.p
T10                              [Quaife, 1989]             : GEO/GEO010-2.p
t10.ver1.in                      [ANL]                      : GEO/GEO010-1.p
T11                              [McCharen, et al., 1976]   : GEO/GEO011-1.p
T11                              [Quaife, 1989]             : GEO/GEO011-2.p
t11.ver1.in                      [ANL]                      : GEO/GEO011-1.p
t11.ver2.in                      [ANL]                      : GEO/GEO011-5.p
T12                              [McCharen, et al., 1976]   : GEO/GEO012-1.p
T12                              [Quaife, 1989]             : GEO/GEO012-2.p
t12.ver1.in                      [ANL]                      : GEO/GEO012-1.p
T13                              [McCharen, et al., 1976]   : GEO/GEO013-1.p
T13                              [Quaife, 1989]             : GEO/GEO013-2.p
t13.ver1.in                      [ANL]                      : GEO/GEO013-1.p
tandl27.ver1.in                  [ANL]                      : PUZ/PUZ023-1.p
tandl31.ver1.in                  [ANL]                      : PUZ/PUZ024-1.p
tandl35.ver1.in                  [ANL]                      : PUZ/PUZ025-1.p
tandl39.ver1.in                  [ANL]                      : PUZ/PUZ026-1.p
tandl42.ver1.in                  [ANL]                      : PUZ/PUZ027-1.p
tandl.ver1.in                    [ANL]                      : PUZ/PUZ032-1.p
tba_gg.in                        [OTTER]                    : BOO/BOO001-1.p
TO1                              [Quaife]                   : NUM/NUM052-1.p
TO2                              [Quaife]                   : NUM/NUM053-1.p
TR1                              [Quaife]                   : NUM/NUM083-1.p
TR2                              [Quaife]                   : NUM/NUM084-1.p
TR3                              [Quaife]                   : NUM/NUM085-1.p
TR4                              [Quaife]                   : NUM/NUM086-1.p
TR5                              [Quaife]                   : NUM/NUM087-1.p
TR6                              [Quaife]                   : NUM/NUM088-1.p
TREC2                            [Quaife]                   : NUM/NUM218-1.p
TREC3                            [Quaife]                   : NUM/NUM219-1.p
TREC3-5                          [Quaife]                   : NUM/NUM221-1.p
TREC3-7                          [Quaife]                   : NUM/NUM222-1.p
TREC3-9.1                        [Quaife]                   : NUM/NUM223-1.p
TREC3-9.2                        [Quaife]                   : NUM/NUM224-1.p
TREC3-9.3                        [Quaife]                   : NUM/NUM225-1.p
TREC3-9.4                        [Quaife]                   : NUM/NUM226-1.p
TREC3-9.5                        [Quaife]                   : NUM/NUM227-1.p
TREC3 cor.                       [Quaife]                   : NUM/NUM220-1.p
TREC5.1                          [Quaife]                   : NUM/NUM245-2.p
TREC5.2                          [Quaife]                   : NUM/NUM246-2.p
TREC6                            [Quaife]                   : NUM/NUM247-2.p
TREC7                            [Quaife]                   : NUM/NUM248-2.p
TREC7-5                          [Quaife]                   : NUM/NUM249-2.p
TREC8                            [Quaife]                   : NUM/NUM250-2.p
TREC9                            [Quaife]                   : NUM/NUM251-2.p
TREC10                           [Quaife]                   : NUM/NUM252-2.p
TREC11                           [Quaife]                   : NUM/NUM253-2.p
TREC12                           [Quaife]                   : NUM/NUM254-2.p
TREC13                           [Quaife]                   : NUM/NUM255-2.p
TREC14                           [Quaife]                   : NUM/NUM256-2.p
TREC15                           [Quaife]                   : NUM/NUM257-2.p
TREC16                           [Quaife]                   : NUM/NUM258-2.p
TREC17                           [Quaife]                   : NUM/NUM259-2.p
TREC18.1                         [Quaife]                   : NUM/NUM260-2.p
TREC18.2                         [Quaife]                   : NUM/NUM261-2.p
TREC18.3                         [Quaife]                   : NUM/NUM262-2.p
TREC18.4                         [Quaife]                   : NUM/NUM263-2.p
TREC18.5                         [Quaife]                   : NUM/NUM264-2.p
TREC.LEMMA0                      [Quaife]                   : NUM/NUM229-1.p
TREC.LEMMA1                      [Quaife]                   : NUM/NUM230-1.p
TREC.LEMMA2                      [Quaife]                   : NUM/NUM231-1.p
TREC.LEMMA3                      [Quaife]                   : NUM/NUM232-1.p
TREC.LEMMA4                      [Quaife]                   : NUM/NUM233-1.p
TREC.LEMMA5                      [Quaife]                   : NUM/NUM234-1.p
TREC.LEMMA6                      [Quaife]                   : NUM/NUM235-1.p
TREC.LEMMA6 cor.1                [Quaife]                   : NUM/NUM236-1.p
TREC.LEMMA6 cor.2                [Quaife]                   : NUM/NUM237-1.p
TREC.LEMMA7                      [Quaife]                   : NUM/NUM238-1.p
TREC.LEMMA8                      [Quaife]                   : NUM/NUM239-1.p
TREC.LEMMA9.1                    [Quaife]                   : NUM/NUM240-1.p
TREC.LEMMA9.2                    [Quaife]                   : NUM/NUM241-1.p
TREC.LEMMA9.3                    [Quaife]                   : NUM/NUM242-1.p
TREC.LEMMA10                     [Quaife]                   : NUM/NUM243-1.p
TREC.LEMMA11                     [Quaife]                   : NUM/NUM244-1.p
TRECDEF1 cor.1                   [Quaife]                   : NUM/NUM216-1.p
TRECDEF1 cor.2                   [Quaife]                   : NUM/NUM217-1.p
TRECDEF4 cor.                    [Quaife]                   : NUM/NUM228-1.p
U1                               [Quaife, 1992]             : SET/SET159-6.p
U2                               [Quaife, 1992]             : SET/SET160-6.p
U3                               [Quaife, 1992]             : SET/SET161-6.p
U4                               [Quaife, 1992]             : SET/SET162-6.p
U5                               [Quaife, 1992]             : SET/SET163-6.p
U6                               [Quaife, 1992]             : SET/SET164-6.p
U6 cor.                          [Quaife, 1992]             : SET/SET165-6.p
U7.1                             [Quaife, 1992]             : SET/SET166-6.p
U7.2                             [Quaife, 1992]             : SET/SET167-6.p
U7.3                             [Quaife, 1992]             : SET/SET168-6.p
union.ver1.in                    [ANL]                      : SET/SET015-2.p
union.ver2.in                    [ANL]                      : SET/SET015-4.p
UP1                              [Quaife, 1992]             : SET/SET066-7.p
UP2.1                            [Quaife, 1992]             : SET/SET067-7.p
UP2.2                            [Quaife, 1992]             : SET/SET068-7.p
UP2.3                            [Quaife, 1992]             : SET/SET069-7.p
UP2.4                            [Quaife, 1992]             : SET/SET070-7.p
UP3                              [Quaife, 1992]             : SET/SET071-7.p
UP4                              [Quaife, 1992]             : SET/SET017-7.p
UP5                              [Quaife, 1992]             : SET/SET072-7.p
UP6.1                            [Quaife, 1992]             : SET/SET073-7.p
UP6.2                            [Quaife, 1992]             : SET/SET074-7.p
UP6 cor.                         [Quaife]                   : SET/SET075-7.p
UP7                              [Quaife, 1992]             : SET/SET076-7.p
v1.lop                           [SETHEO]                   : PRV/PRV002-1.p
v2.lop                           [SETHEO]                   : PRV/PRV003-1.p
v3.lop                           [SETHEO]                   : PRV/PRV004-1.p
v4.lop                           [SETHEO]                   : PRV/PRV005-1.p
v5.lop                           [SETHEO]                   : PRV/PRV006-1.p
v6.lop                           [SETHEO]                   : PRV/PRV007-1.p
v7.lop                           [SETHEO]                   : PRV/PRV008-1.p
W1                               [Quaife, 1989]             : GEO/GEO070-2.p
W2.1                             [Quaife, 1989]             : GEO/GEO071-2.p
W2.2                             [Quaife, 1989]             : GEO/GEO072-2.p
W3                               [Quaife, 1989]             : GEO/GEO073-2.p
wang1.in                         [OTTER]                    : SYN/SYN013-1.p
WE1                              [Quaife]                   : NUM/NUM064-1.p
WE2.1                            [Quaife]                   : NUM/NUM065-1.p
WE2.2 cor                        [Quaife]                   : NUM/NUM066-1.p
WE3.1                            [Quaife]                   : NUM/NUM067-1.p
WE3.2                            [Quaife]                   : NUM/NUM068-1.p
WE3 cor.                         [Quaife]                   : NUM/NUM069-1.p
WE4.1                            [Quaife]                   : NUM/NUM070-1.p
WE4.2                            [Quaife]                   : NUM/NUM071-1.p
WE5                              [Quaife]                   : NUM/NUM072-1.p
WE5 cor.                         [Quaife]                   : NUM/NUM073-1.p
WE6                              [Quaife]                   : NUM/NUM074-1.p
WE7                              [Quaife]                   : NUM/NUM075-1.p
WE8                              [Quaife]                   : NUM/NUM076-1.p
WE8 cor. 1                       [Quaife]                   : NUM/NUM077-1.p
WE8 cor. 2                       [Quaife]                   : NUM/NUM078-1.p
WE9.1                            [Quaife]                   : NUM/NUM079-1.p
WE9.2                            [Quaife]                   : NUM/NUM080-1.p
WE9 cor.                         [Quaife]                   : NUM/NUM081-1.p
WE10                             [Quaife]                   : NUM/NUM082-1.p
winds.ver1.in                    [ANL]                      : PUZ/PUZ033-1.p
wos1                             [Wilson & Minker, 1976]    : GRP/GRP029-1.p
wos2                             [Wilson & Minker, 1976]    : GRP/GRP030-1.p
wos3                             [Wilson & Minker, 1976]    : GRP/GRP007-1.p
wos4                             [Wilson & Minker, 1976]    : GRP/GRP008-1.p
wos5                             [Wilson & Minker, 1976]    : GRP/GRP031-1.p
wos6                             [Wilson & Minker, 1976]    : GRP/GRP009-1.p
wos7                             [Wilson & Minker, 1976]    : GRP/GRP010-1.p
wos8                             [Wilson & Minker, 1976]    : GRP/GRP022-1.p
wos9                             [Wilson & Minker, 1976]    : GRP/GRP012-1.p
wos10                            [Wilson & Minker, 1976]    : GRP/GRP001-1.p
wos11                            [Wilson & Minker, 1976]    : GRP/GRP013-1.p
wos12                            [Wilson & Minker, 1976]    : GRP/GRP032-3.p
wos13                            [Wilson & Minker, 1976]    : GRP/GRP033-3.p
wos14                            [Wilson & Minker, 1976]    : GRP/GRP034-3.p
wos15                            [Wilson & Minker, 1976]    : GRP/GRP035-3.p
wos16                            [Wilson & Minker, 1976]    : GRP/GRP036-3.p
wos17                            [Wilson & Minker, 1976]    : GRP/GRP037-3.p
wos18                            [Wilson & Minker, 1976]    : GRP/GRP038-3.p
wos19                            [Wilson & Minker, 1976]    : GRP/GRP039-3.p
wos20                            [Wilson & Minker, 1976]    : GRP/GRP040-4.p
wos21                            [Wilson & Minker, 1976]    : RNG/RNG001-5.p
wos22                            [Wilson & Minker, 1976]    : RNG/RNG004-3.p
wos23                            [Wilson & Minker, 1976]    : RNG/RNG005-2.p
wos24                            [Wilson & Minker, 1976]    : RNG/RNG037-2.p
wos25                            [Wilson & Minker, 1976]    : RNG/RNG006-2.p
wos26                            [Wilson & Minker, 1976]    : NUM/NUM017-1.p
wos27                            [Wilson & Minker, 1976]    : RNG/RNG038-2.p
wos28                            [Wilson & Minker, 1976]    : RNG/RNG039-2.p
wos29                            [Wilson & Minker, 1976]    : RNG/RNG040-2.p
wos30                            [Wilson & Minker, 1976]    : RNG/RNG041-1.p
wos31                            [Wilson & Minker, 1976]    : SYN/SYN013-1.p
wos32                            [Wilson & Minker, 1976]    : SYN/SYN014-2.p
wos33                            [Wilson & Minker, 1976]    : SYN/SYN015-2.p
wos_nie                          [SPRFN]                    : GRP/GRP034-3.p
x2_quant.in                      [OTTER]                    : GRP/GRP001-4.p
xsquared.ver1.in                 [ANL]                      : GRP/GRP001-1.p
xsquared.ver2.in                 [ANL]                      : GRP/GRP001-2.p
zero.ver1.in                     [ANL]                      : RNG/RNG001-1.p
