Contents
Introduction
The GLiDeS Strategy
The Linear-Input Strategy
The Linear non-Strategy
The GLiDeS Strategy
The GLiDeS Architecture
The PTTP+GLiDeS Implementation
GLiDeS' Performance
Summary
Effective Non-Horn Sample
Conclusion