Twelf user’s guide, 1.2. edition (1998)

by F Pfenning, C Schürmann