ACHILLES, TURTLE, AND UNDECIDABLE BOUNDEDNESS PROBLEMS FOR SMALL DATALOG PROGRAMS. - Marcinkowski, Jerzy (SIAM Journal on Computing, 1999)