Logical Frameworks, chapter 21. Volume 2 of Robinson and Voronkov [36 (2001)

by F Pfenning