HGKM: a Simple Implementation. FOL working paper 4 (1985)

by R W Weyhrauch, C Talcott