Termination prediction for general logic programs.

Published in: Theory Pract. Log. Program. (2009)

Keyphrases