"1"^^ . . . . . . "Logic-Programming Based Machine Translation"@en . . .