Ontic: Language specification and user’s manual (1992)

by R Givan, D McAllester, C Witty, K Zalondek