D.W. · David W. Loveland · Donald W Loveland · W.L.
| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 | 978-0-387-11558-0 (0-387-11558-7) | 1982 | |
| 6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 | 978-3-540-11558-8 (3-540-11558-7) | 1982 |