publication venue for The Architecture of a Software Library for String Processing. 166-176. 1997 The `hardest´ natural decidable theory. 294-305. 1997