Logic Program Termination Analysis Using Atom Sizes.

Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Browse the full IJCAI paper archive.