Archived from the original on 2014-08-09. ↑ Oege de Moor at DBLP Bibliography Server ↑ Ralf Hinze's publications indexed by Google Scholar ↑ Ursula Martin's publications indexed by Google Scholar ↑ Boris Motik's publications indexed by Google Scholar ↑ Luke Ong's publications indexed by Google Scholar ↑ Joel Ouaknine's publications indexed by Google Scholar ↑ Michael Wooldridge's publications indexed by Google Scholar ↑ James Worrell's publications indexed by Google Scholar ↑ Hongseok Yang's publications indexed by Google Scholar ↑ Altmann, S. L.; Bowen, E. J. (1974).