Proceedings of TPHOLs 2009, the 22nd International Conference on Theorem Proving in Higher Order Logics. Springer LNCS 5674, pp. 43-59.
@INPROCEEDINGS{harrison-wlog, author = "John Harrison", title = "Without Loss of Generality", editor = "Stefan Berghofer and Tobias Nipkow and Christian Urban and Makarius Wenzel", booktitle = "Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2009", address = "Munich, Germany", year = 2009, publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science", volume = 5674, pages = "43--59"}