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
Technical Reports

BibTex in ASCII

@ARTICLE{bp:571, author = "Brigitte Pientka", title = "Higher-order term indexing using substitution trees", pages = "1--50", journal = "ACM Transactions on Computational Logic", year = 2008, note = "Pientka:TOCL08 In Press"}