From first-order logic to automated word generation for Lyee. - Benedict Amon; Love Ekenberg; Paul Johannesson; Marcelo Munguanaze; Upendo Njabili; Rika Manka Tesha (Knowl. Based Syst., 2003)