Termination Test for Logic Programs

analyser.tar.gz
naive-ba.tar.gz: Naive backwards analysis using the Pos domain.