Guido Minnen Dale Gerdemann Erhard W. Hinrichs Direct Automated Inversion of Logic Grammars. 131-168 1996 14 New Generation Comput. 2 db/journals/ngc/ngc14.html#MinnenGH96