Eldönthetőségi kérdések Ground Term átíró rendszerekre - Szakács Csaba (1995)