Szakács, Csaba (1995) Eldönthetőségi kérdések Ground Term átíró rendszerekre. Masters, József Attila Tudományegyetem.