Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Research Publication in BibTex Format

Research Areas
Research Labs
Workshops
Publications
Technical Reports

BibTex in ASCII

@INPROCEEDINGS{bp:103, author = "Brigitte Pientka", editor = "U. Furbach and N. Shankar", title = "Eliminating redundancy in higher-order unification: a lightweight approach", booktitle = "3rd International Joint Conference on Automated Reasoning, Seattle, WA, USA", pages = "362-377", publisher = "SPR", year = 2006}