• GandalfTammet, TanelJournal of automated reasoning1997 / p. 199-204