A completeness theorem for an extension of logic with binders (2001)

by G Dowek, T Hardin, C Kirchner
Venue:Department of Computer Science