| Author | Loos, Rüdiger and Weispfenning, Volker |
| Title | Applying Linear Quantifier Elimination |
| Journal | The Computer Journal |
| Volume | 36 |
| Number | 5 |
| Pages | 450-461 |
| Year | 1993 |
| Note | Special issue on computational quantifier elimination |
| Pubtype | Journal |
| Doi | 10.1093/comjnl/36.5.450 |
| Fileid | LoosWeispfenning_93 |
| Name | Loos, Weispfenning |
| Pdffile | http://redlog.dolzmann.de/papers/pdf/the-36-5.pdf |
| Status | redlog algorithm |
| Xtitle | Applying Linear Quantifier Elimination |