| Title | Date | Type | Setname | ||
|---|---|---|---|---|---|
| 226 |
 | psolve: Deciding satisfiability for presburger formulae using automata, rewriting and a model checker | 1999 | Text | ir_uspace |
| 227 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 228 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 229 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 230 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 231 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 232 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 233 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 234 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 235 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 236 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 237 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 238 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 239 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 240 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 241 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 242 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 243 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 244 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 245 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 246 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 247 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 248 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 249 |
 | Pulse | 1999 | Text | ehsl_pahsc |
| 250 |
 | Pulse | 1999 | Text | ehsl_pahsc |